Realization Theory of Nonlinear Hybrid Systems

Taming Heterogeneity and Complexity of Embedded Control ◽

10.1002/9780470612217.ch31 ◽

2013 ◽

pp. 541-570

Author(s):

Mihály Petreczky ◽

Jean-Baptiste Pomet

Keyword(s):

Hybrid Systems ◽

Realization Theory ◽

Nonlinear Hybrid

Download Full-text

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01289 ◽

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

Download Full-text

Comparison of state estimation techniques for nonlinear hybrid systems

10.1177/0037549716638425 ◽

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

Download Full-text

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

European Journal of Control ◽

10.1016/j.ejcon.2013.02.001 ◽

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

Download Full-text

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2018.2858383 ◽

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

Download Full-text

Switched controller design for stabilization of nonlinear hybrid systems with time-varying delays in state and control

Journal of the Franklin Institute ◽

10.1016/j.jfranklin.2009.09.006 ◽

2010 ◽

Vol 347 (1) ◽

pp. 195-207 ◽

Author(s):

Vu N. Phat

Keyword(s):

Hybrid Systems ◽

Controller Design ◽

Time Varying ◽

And Control ◽

Nonlinear Hybrid

Download Full-text

Applications of numerical optimal control to nonlinear hybrid systems

Nonlinear Analysis Hybrid Systems ◽

10.1016/j.nahs.2006.10.007 ◽

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

Download Full-text

Stability of Nonlinear Hybrid Systems

New Trends in Nonlinear Dynamics and Control and their Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/978-3-540-45056-6_16 ◽

2004 ◽

pp. 251-264

Author(s):

G. Yin ◽

Q. Zhang

Keyword(s):

Hybrid Systems ◽

Nonlinear Hybrid

Download Full-text

Stabilization of stochastic singular nonlinear hybrid systems

Nonlinear Analysis ◽

10.1016/j.na.2005.05.066 ◽

2006 ◽

Vol 64 (2) ◽

pp. 217-228 ◽

Author(s):

E.K. Boukas

Keyword(s):

Hybrid Systems ◽

Nonlinear Hybrid

Download Full-text

Model predictive control of nonlinear hybrid systems with discrete inputs employing a hybrid fuzzy model

Nonlinear Analysis Hybrid Systems ◽

10.1016/j.nahs.2006.06.005 ◽

2008 ◽

Vol 2 (2) ◽

pp. 491-509 ◽

Author(s):

Gorazd Karer ◽

Gašper Mušič ◽

Igor Škrjanc ◽

Borut Zupančič

Keyword(s):

Model Predictive Control ◽

Hybrid Systems ◽

Predictive Control ◽

Fuzzy Model ◽

Nonlinear Hybrid

Download Full-text

Assume-guarantee verification of nonlinear hybrid systems with Ariadne

International Journal of Robust and Nonlinear Control ◽

10.1002/rnc.2914 ◽

2012 ◽

Vol 24 (4) ◽

pp. 699-724 ◽

Author(s):

Luca Benvenuti ◽

Davide Bresolin ◽

Pieter Collins ◽

Alberto Ferrari ◽

Luca Geretti ◽

...

Keyword(s):

Hybrid Systems ◽

Nonlinear Hybrid

Download Full-text