Sampled-Data Mixed Monotonicity

[1]  Matthias Althoff,et al.  Reachability analysis of linear systems with uncertain parameters and inputs , 2007, 2007 46th IEEE Conference on Decision and Control.

[2]  Matthias Althoff,et al.  Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .

[3]  P. Seiler,et al.  Propagating Uncertainty in Power-System DAE Models With Semidefinite Programming , 2017, IEEE Transactions on Power Systems.

[4]  M. Arcak,et al.  Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity , 2018, IEEE Control Systems Letters.

[5]  Benoît Chachuat,et al.  Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration , 2017, SIAM J. Sci. Comput..

[6]  Benoît Chachuat,et al.  Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs , 2015, J. Glob. Optim..

[7]  Murat Arcak,et al.  Interval Reachability Analysis using Second-Order Sensitivity , 2019, IFAC-PapersOnLine.

[8]  R. Tempo,et al.  Randomized Algorithms for Analysis and Control of Uncertain Systems , 2004 .

[9]  Paul I. Barton,et al.  Affine relaxations for the solutions of constrained parametric ordinary differential equations , 2018 .

[10]  Luc Jaulin,et al.  Applied Interval Analysis , 2001, Springer London.

[11]  D. Cheng,et al.  An Introduction to Semi-Tensor Product of Matrices and Its Applications , 2012 .

[12]  Kai Shen,et al.  Mean Value Form Enclosures for Nonlinear Reachability Analysis , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[13]  Ian A. Hiskens,et al.  Second-Order Trajectory Sensitivity Analysis of Hybrid Systems , 2019, IEEE Transactions on Circuits and Systems I: Regular Papers.

[14]  Ken Butts,et al.  Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques , 2016, IEEE Control Systems.

[15]  Bai Xue,et al.  Just scratching the surface: Partial exploration of initial values in reach-set computation , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[16]  E. Walter,et al.  Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2001 .

[17]  Oded Maler,et al.  Systematic Simulation Using Sensitivity Analysis , 2007, HSCC.