Approximate bisimulation relations for constrained linear systems
DOI10.1016/J.AUTOMATICA.2007.01.019zbMATH Open1130.93365OpenAlexW2074027094WikidataQ57581922 ScholiaQ57581922MaRDI QIDQ2467487FDOQ2467487
Publication date: 21 January 2008
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1060&context=cis_reports
Control problems for functional-differential equations (34K35) Observability (93B07) Linear systems in control theory (93C05) Control/observation systems governed by ordinary differential equations (93C15)
Cites Work
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Hybrid Systems: Computation and Control
- Geometric state-space theory in linear multivariable control: A status report
- Nonlinear systems. Analysis, stability, and control
- A Lyapunov approach to incremental stability properties
- Viability theory
- Bisimilar linear systems.
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Approximation Metrics for Discrete and Continuous Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Metrics for labelled Markov processes
- A survey of model reduction methods for large-scale systems.
- Lyapunov Characterizations of Input to Output Stability
- Inverse Optimality in Robust Stabilization
- Bisimulation relations for dynamical, control, and hybrid systems
- Equivalence of Dynamical Systems by Bisimulation
- Automata, Languages and Programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (17)
- Model predictive control of directed‐graph constrained systems
- Approximate simulation relations for hybrid systems
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Hierarchical control system design using approximate simulation
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- Bisimulations for neural network reduction
- Approximate reduction of dynamic systems
- MATISSE
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Approximate bisimulation: a bridge between computer science and control theory
- Trajectory-Based Theory for Hybrid Systems
- Bisimulation conversion and verification procedure for goal-based control systems
- A topological method for finding invariant sets of continuous systems
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Hierarchical analysis of large-scale control systems via vector simulation function
Uses Software
This page was built for publication: Approximate bisimulation relations for constrained linear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467487)
