A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116): Difference between revisions

@@ Property / cites work @@
+Piecewise Affine Control: Continuous Time, Sampled Data, and Networked Systems
+Normal rank
@@ Property / cites work @@
+Controllability and Stabilizability of a Class of Continuous Piecewise Affine Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Conewise Linear Systems: Non‐Zenoness and Observability
+Normal rank
@@ Property / cites work @@
+A full characterization of stabilizability of bimodal piecewise linear systems with scalar inputs
+Normal rank
@@ Property / cites work @@
+Controllability of a class of bimodal discrete-time piecewise linear systems
+Normal rank
@@ Property / cites work @@
+Quadratic stability and stabilization of bimodal piecewise linear systems
+Normal rank
@@ Property / cites work @@
+Lyapunov stability for piecewise affine systems via cone-copositivity
+Normal rank
@@ Property / cites work @@
+Incremental \(\mathcal{L}_2\)-gain stability of piecewise-affine systems with piecewise-polynomial storage functions
+Normal rank
@@ Property / cites work @@
+Multi-input multi-output ellipsoidal state bounding.
+Normal rank
@@ Property / cites work @@
+Complexity of stability and controllability of elementary hybrid systems
+Normal rank
@@ Property / cites work @@
+Reachability Analysis for Solvable Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+JuliaReach
@@ Property / cites work: JuliaReach / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
+Normal rank
@@ Property / cites work @@
+Numerical verification of affine systems with up to a billion dimensions
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Reach Control on Simplices by Piecewise Affine Feedback
+Normal rank
@@ Property / cites work @@
+Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
+Normal rank
@@ Property / cites work @@
+Augmented complex zonotopes for computing invariants of affine hybrid systems
+Normal rank
@@ Property / cites work @@
+Template-Based Unbounded Time Verification of Affine Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of continuous-time piecewise affine systems
+Normal rank
@@ Property / cites work @@
+Characterization of well-posedness of piecewise-linear systems
+Normal rank
@@ Property / cites work @@
+Linear Matrix Inequalities in System and Control Theory
+Normal rank
@@ Property / cites work @@
+A generic ellipsoid abstract domain for linear time invariant systems
+Normal rank
@@ Property / cites work @@
+On reachable set estimation of singular systems
@@ Property / cites work: On reachable set estimation of singular systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
+Normal rank
@@ Property / cites work @@
+Reachable set estimation for switched linear systems with dwell-time switching
+Normal rank
@@ Property / cites work @@
+Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
+Normal rank
@@ Property / cites work @@
+On reachable sets for linear systems with delay and bounded peak inputs.
+Normal rank
@@ Property / cites work @@
+Improved ellipsoidal bound of reachable sets for time-delayed linear systems with disturbances
+Normal rank
@@ Property / cites work @@
+Further result on reachable set bounding for linear uncertain polytopic systems with interval time-varying delays
+Normal rank
@@ Property / cites work @@
+Finite-Dimensional Variational Inequalities and Complementarity Problems
+Normal rank
@@ Property / cites work @@
+On Cones of Nonnegative Quadratic Functions
@@ Property / cites work: On Cones of Nonnegative Quadratic Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Fault detection and identification for a class of continuous piecewise affine systems with unknown subsystems and partitions
+Normal rank
@@ Property / cites work @@
+Adaptive hinging hyperplanes and its applications in dynamic system identification
+Normal rank