Analysis of Non-Linear Probabilistic Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Analysis of Non-Linear Probabilistic Hybrid Systems
This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangular probabilistic process from a non rectangular one, hence allowing the model-checking of any class of systems. Clock approximation, which applies ...
متن کاملReachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
With the ubiquitous use of computers in controlling physical systems, it requires to have a new formalism that could model both continuous flows and discrete jumps. Hybrid systems are introduced to this purpose. A hybrid system, which is modeled by a hybrid automaton in the thesis, is equipped with finitely many discrete modes and continuous real-valued variables. A state of it is then represen...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولGenerating invariants for non-linear hybrid systems
We describe powerful computational techniques, relying on linear algebraic methods,for generating ideals of non-linear invariants of algebraic hybrid systems. We show thatthe preconditions for discrete transitions and the Lie-derivatives for continuous evolu-tion can be viewed as morphisms, and so can be suitably represented by matrices. Wereduce the non-trivial invariant genera...
متن کاملAnalysis of Linear Hybrid Systems in CLP
In this paper we present a procedure for representing the semantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then be performed using generic CLP analysis and transformation tools. LHAs provide an expressive notation for specifying real-time systems. The main contributions are (i) a technique for capturing th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.57.8