Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461358 ◽

2013 ◽

Author(s):

Matthias Althoff

Keyword(s):

Nonlinear Systems ◽

Convex Sets ◽

Reachability Analysis

Download Full-text

Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems

2019 American Control Conference (ACC) ◽

10.23919/acc.2019.8814444 ◽

2019 ◽

Author(s):

He Yin ◽

Andrew Packard ◽

Murat Arcak ◽

Peter Seiler

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Finite Horizon ◽

Control Synthesis ◽

Uncertain Nonlinear Systems ◽

Download Full-text

Quantitative local L 2 -gain and Reachability analysis for nonlinear systems

International Journal of Robust and Nonlinear Control ◽

10.1002/rnc.2948 ◽

2013 ◽

Vol 23 (10) ◽

pp. 1115-1135 ◽

Author(s):

Erin Summers ◽

Abhijit Chakraborty ◽

Weehong Tan ◽

Ufuk Topcu ◽

Pete Seiler ◽

...

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis

Download Full-text

Global Bilinearization and Reachability Analysis of Control-Affine Nonlinear Systems

Lecture Notes in Control and Information Sciences - The Koopman Operator in Systems and Control ◽

10.1007/978-3-030-35713-9_4 ◽

2020 ◽

pp. 81-98

Author(s):

Debdipta Goswami ◽

Derek A. Paley

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Affine Nonlinear Systems

Download Full-text

Decomposed Reachability Analysis for Nonlinear Systems

2016 IEEE Real-Time Systems Symposium (RTSS) ◽

10.1109/rtss.2016.011 ◽

2016 ◽

Author(s):

Xin Chen ◽

Sriram Sankaranarayanan

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis

Download Full-text

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-85037-1_4 ◽

2021 ◽

pp. 50-66

Author(s):

Edward Kim ◽

Stanley Bak ◽

Parasara Sridhar Duggirala

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis

Download Full-text

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/3-540-36580-x_5 ◽

2003 ◽

pp. 20-35 ◽

Author(s):

Eugene Asarin ◽

Thao Dang ◽

Antoine Girard

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Conservative Approximation

Download Full-text

Reachability Analysis of Nonlinear Systems Using Matrix Measures

IEEE Transactions on Automatic Control ◽

10.1109/tac.2014.2325635 ◽

2015 ◽

Vol 60 (1) ◽

pp. 265-270 ◽

Author(s):

John Maidens ◽

Murat Arcak

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Matrix Measures

Download Full-text

Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4738704 ◽

2008 ◽

Author(s):

Matthias Althoff ◽

Olaf Stursberg ◽

Martin Buss

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Uncertain Parameters

Download Full-text

Adaptive parameter tuning for reachability analysis of nonlinear systems

Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3447928.3456643 ◽

2021 ◽

Author(s):

Mark Wetzlinger ◽

Adrian Kulmburg ◽

Matthias Althoff

Keyword(s):

Nonlinear Systems ◽

Parameter Tuning ◽

Reachability Analysis ◽

Adaptive Parameter

Download Full-text

Reachability analysis for nonlinear systems by guaranteed piecewise affine approximation

18th Mediterranean Conference on Control and Automation, MED'10 ◽

10.1109/med.2010.5547884 ◽

2010 ◽

Author(s):

Othman Nasri ◽

Herve Gueguen ◽

Marie-Anne Lefebvre

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Piecewise Affine

Download Full-text