Reachability Analysis of an Aerodynamic Interceptor with Input Constraint

2020 ◽

Author(s):

Akshay Shetty ◽

Grace Xingxin Gao

Keyword(s):

Trajectory Planning ◽

Reachability Analysis

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Cited By ~ 5

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

Symbolic Reachability Analysis of Hybrid Systems

Journal of Software ◽

10.3724/sp.j.1001.2008.03111 ◽

2009 ◽

Vol 19 (12) ◽

pp. 3111-3121 ◽

Cited By ~ 4

Author(s):

Hai-Bin ZHANG ◽

Zhen-Hua DUAN

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

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

Reachability analysis for hybrid systems with nonlinear guard sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382194 ◽

2020 ◽

Author(s):

Niklas Kochdumper ◽

Matthias Althoff

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

A tool-suite for reachability analysis of concurrent object-oriented programs

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640173 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Iyer ◽

S. Ramesh

Keyword(s):

Object Oriented ◽

Reachability Analysis

Download Full-text

Trace Compaction using SAT-based Reachability Analysis

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358109 ◽

2007 ◽

Cited By ~ 7

Author(s):

Sean Safarpour ◽

Andreas Veneris ◽

Hratch Mangassarian

Keyword(s):

Reachability Analysis

Download Full-text

Robust adaptive backstepping control for an uncertain nonlinear system with input constraint based on Lyapunov redesign

International Journal of Control Automation and Systems ◽

10.1007/s12555-015-0222-9 ◽

2016 ◽

Vol 15 (1) ◽

pp. 212-225 ◽

Cited By ~ 19

Author(s):

Fang Wang ◽

Qin Zou ◽

Qun Zong

Keyword(s):

Nonlinear System ◽

Backstepping Control ◽

Input Constraint ◽

Uncertain Nonlinear System ◽

Adaptive Backstepping ◽

Adaptive Backstepping Control ◽

Lyapunov Redesign ◽

Robust Adaptive

Download Full-text

Chain of Set Inversion Problems Application to reachability analysis

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2017.08.1297 ◽

2017 ◽

Vol 50 (1) ◽

pp. 9266-9271

Author(s):

Benoit Desrochers ◽

Luc Jaulin

Keyword(s):

Reachability Analysis

Download Full-text

On input-to-state stability notions for reachability analysis of power systems

Proceedings of 2010 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.2010.5537027 ◽

2010 ◽

Cited By ~ 1

Author(s):

Matthias A. Miiller ◽

Alejandro D. Dominguez-Garcia

Keyword(s):

Power Systems ◽

Reachability Analysis ◽

Stability Notions

Download Full-text

Reachability Analysis of an Aerodynamic Interceptor with Input Constraint

Trajectory Planning Under Stochastic and Bounded Sensing Uncertainties Using Reachability Analysis

Reachability analysis of hybrid control systems using reduced-order models

Symbolic Reachability Analysis of Hybrid Systems

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Reachability analysis for hybrid systems with nonlinear guard sets

A tool-suite for reachability analysis of concurrent object-oriented programs

Trace Compaction using SAT-based Reachability Analysis

Robust adaptive backstepping control for an uncertain nonlinear system with input constraint based on Lyapunov redesign

Chain of Set Inversion Problems Application to reachability analysis

On input-to-state stability notions for reachability analysis of power systems

Export Citation Format