Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

2016 ◽  
Vol 60 (3) ◽  
Author(s):  
Xia Zeng ◽  
Wang Lin ◽  
Zhengfeng Yang ◽  
Zhenbing Zeng
Keyword(s):  
Hybrid Systems ◽  
Invariant Generation ◽  
Conservative Approximation ◽  
Linear Invariant ◽  
Nonlinear Hybrid

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

2013 ◽  
Vol 33 (5) ◽  
pp. 1289-1293
Author(s):  
Jin ZOU ◽  
Wang LIN ◽  
Yong LUO ◽  
Zhenbing ZENG
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Nonlinear Hybrid

Comparison of state estimation techniques for nonlinear hybrid systems

SIMULATION ◽  
2016 ◽  
Vol 92 (4) ◽  
pp. 357-376
Author(s):  
Gan Zhou ◽  
Gautam Biswas ◽  
Wenfeng Zhang ◽  
Qi Zhao ◽  
Wenquan Feng
Keyword(s):  
State Estimation ◽  
Hybrid Systems ◽  
Estimation Techniques ◽  
Nonlinear Hybrid

scholarly journals CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

2013 ◽  
Vol 19 (1) ◽  
pp. 14-36 ◽  
Author(s):  
Giuseppe Della Penna ◽  
Benedetto Intrigila ◽  
Daniele Magazzeni ◽  
Igor Melatti ◽  
Enrico Tronci
Keyword(s):  
Hybrid Systems ◽  
Automatic Synthesis ◽  
Nonlinear Hybrid

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

2018 ◽  
Vol 37 (11) ◽  
pp. 2768-2778 ◽  
Author(s):  
Yifan Zhang ◽  
Zhengfeng Yang ◽  
Wang Lin ◽  
Huibiao Zhu ◽  
Xin Chen ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Bilinear Programming ◽  
Safety Verification ◽  
Nonlinear Hybrid

Applications of numerical optimal control to nonlinear hybrid systems

2007 ◽  
Vol 1 (2) ◽  
pp. 264-279 ◽  
Author(s):  
Shangming Wei ◽  
Kasemsak Uthaichana ◽  
Miloš Žefran ◽  
Raymond A. DeCarlo ◽  
Sorin Bengea
Keyword(s):  
Optimal Control ◽  
Hybrid Systems ◽  
Nonlinear Hybrid

Linear-Invariant Generation for Probabilistic Programs:

2010 ◽  
pp. 390-406 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Annabelle K. McIver ◽  
Larissa A. Meinicke ◽  
Carroll C. Morgan
Keyword(s):  
Invariant Generation ◽  
Linear Invariant ◽  
Probabilistic Programs
Sign in / Sign up

Export Citation Format

Share Document