Generating invariants for non-linear hybrid systems
نویسندگان
چکیده
منابع مشابه
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...
متن کاملGenerating semi-algebraic invariants for non-autonomous polynomial hybrid systems
Hybrid systems are dynamic systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid ...
متن کاملGenerating Polynomial Invariants for Hybrid Systems
We present a powerful computational method for automatically generating polynomial invariants of hybrid systems with linear continuous dynamics. When restricted to linear continuous dynamical systems, our method generates a set of polynomial equations (algebraic set) that is the best such over-approximation of the reach set. This shows that the set of algebraic invariants of a linear system is ...
متن کاملA Transformational Approach for Generating Non-linear Invariants
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that allow to treat combinations of loops are of interest. We present a set of algorithms and methods that can be applied to characterize over-approximations of the set of reachable states of combinations of self-loops. We pr...
متن کاملSynthesizing Switching Controllers for Hybrid Systems by Generating Invariants
We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of predefined tem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2015
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.06.018