Computing Invariants for Hybrid Systems

2013 ◽  
Vol 380-384 ◽  
pp. 556-561
Author(s):  
Bin Wu ◽  
Xiao Guang Zou
Keyword(s):  
Hybrid Systems ◽  
Quantifier Elimination ◽  
Polynomial Inequality ◽  
New Approach ◽  
Algebraic Systems ◽  
Generating Polynomial ◽  
Paper Address

This paper address the problem of generating invariants of hybrid systems. We present a new approach, for generating polynomial inequality invariants of hybrid systems through solving semi-algebraic systems and quantifier elimination. From the preliminary experiment results, we demonstrate the feasibility of our approach.

A New Approach to Generating Finite-State Control Programs for Hybrid Systems

1996 ◽  
Vol 29 (1) ◽  
pp. 4884-4889 ◽  
Author(s):  
Wolf Kohn ◽  
Anil Nerode ◽  
John James ◽  
Jeffrey Remmel ◽  
Benjamin Cummings
Keyword(s):  
Hybrid Systems ◽  
State Control ◽  
New Approach ◽  
Control Programs ◽  
Finite State ◽  
Finite State Control

A new approach to robust control of hybrid systems

1996 ◽  
pp. 553-562 ◽  
Author(s):  
Andrey V. Savkin ◽  
Robin J. Evans ◽  
Ian R. Petersen
Keyword(s):  
Robust Control ◽  
Hybrid Systems ◽  
New Approach

scholarly journals Non-Covalent Synthesis of Metal Oxide Nanoparticle–Heparin Hybrid Systems: A New Approach to Bioactive Nanoparticles

2013 ◽  
Vol 14 (7) ◽  
pp. 13463-13481 ◽  
Author(s):  
Elena Vismara ◽  
Antonio Valerio ◽  
Alessia Coletti ◽  
Giangiacomo Torri ◽  
Sabrina Bertini ◽  
...  
Keyword(s):  
Metal Oxide ◽  
Hybrid Systems ◽  
New Approach ◽  
Metal Oxide Nanoparticle ◽  
Oxide Nanoparticle
Sign in / Sign up

Export Citation Format

Share Document