Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme

2016 ◽  
Vol 19 (4) ◽  
pp. 2189-2199 ◽  
Author(s):  
Hui Zhang ◽  
Jinzhao Wu ◽  
Jianguang Lu ◽  
Juan Tang
Keyword(s):  
Real Time ◽  
Hybrid Systems ◽  
Safety Verification ◽  
Group Preserving Scheme ◽  
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

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

Novel forecast-based dispatch strategy optimization for PV hybrid systems in real time

Energy ◽  
2021 ◽  
Vol 222 ◽  
pp. 119918
Author(s):  
Carlos D. Rodríguez-Gallegos ◽  
Lokesh Vinayagam ◽  
Oktoviano Gandhi ◽  
Gokhan Mert Yagli ◽  
Manuel S. Alvarez-Alvarado ◽  
...  
Keyword(s):  
Real Time ◽  
Hybrid Systems

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

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
Sign in / Sign up

Export Citation Format

Share Document