|zpravodaj ČSKI - únor 2013 [ pdf ]|
datum: 20.2.2013 v 14:00
název: Logic and Quantitative Systems Analysis
přednášející: Stefan Ratschan (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn: One of the most important concepts in engineering is the notion of a model, that is, an abstract, and in our context formal description of a system. The classical systems models used in computer science are usually based on some form of automaton, very often with finitely many states. Reasoning about such models is usually done based on (modal, and especially temporal) logics. Nowadays, independently from several directions, computer scientists increasingly often see the necessity for formalisms that extend the classical approaches to modeling and reasoning in a quantitative way. Here, the term "quantitative" refers to the use of numerical domains such as the real numbers. In the talk I will present some such quantitative approaches to systems modeling and reasoning, concentrating on the main ideas and avoiding technical details.