Bisimilar control affine systems
From MaRDI portal
Publication:2503604
DOI10.1016/j.sysconle.2003.09.013zbMath1157.93300OpenAlexW2163870459WikidataQ57582093 ScholiaQ57582093MaRDI QIDQ2503604
George J. Pappas, Paulo Tabuada
Publication date: 21 September 2006
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/ese_papers/115
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Axiomatic systems theory (93A05)
Related Items
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey, Symbolic models for control systems, Bisimulation equivalence of differential-algebraic systems, On quotients of Boolean control networks, Nonlinear norm-observability and simulation of control systems, Abstraction and control by interconnection of linear systems: a geometric approach, Theory and computation of discrete state space decompositions for hybrid systems, Bisimulations of Probabilistic Boolean Networks, Order-reduction abstractions for safety verification of high-dimensional linear systems, Bisimulations of Boolean Control Networks, Bisimulation conversion and verification procedure for goal-based control systems, Local factorization of trajectory lifting morphisms for single-input affine control systems, A connection between simulation relations and feedback transformations in nonlinear control systems, Approximate reduction of dynamic systems, Constructing simulation relations for IDO systems affine in inputs and disturbances, Controllability properties of nonlinear systems induced by lifting, Admissible simulation relations, set-valued feedback, and controlled invariance, Cost-extended control systems on Lie groups, Hierarchical trajectory refinement for a class of nonlinear systems, Equivalence of switching linear systems by bisimulation, Lifting of trajectories of control systems related by smooth mappings, Approximately bisimilar symbolic models for nonlinear control systems, Controller synthesis for bisimulation equivalence, Input-Output-to-State Stability of Systems Related through Simulation Relations, Bisimulation Relations for Dynamical and Control Systems, Bisimulation relations for dynamical, control, and hybrid systems, Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems, Reduction and Analysis of Boolean Control Networks by Bisimulation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Manifolds, tensor analysis, and applications.
- Bisimilar linear systems.
- Hierarchical trajectory refinement for a class of nonlinear systems
- Bisimulation Relations for Dynamical and Control Systems
- The structure of nonlinear control systems possessing symmetries
- Partial symmetries for nonlinear systems
- Controlled invariance for affine control systems
- $(A,\mathcal{B})$-Invariant Distributions and Disturbance Decoupling of Nonlinear Systems
- Nonlinear decoupling via feedback: A differential geometric approach
- On controlled invariance for fully nonlinear systems
- Hierarchically consistent control systems
- Consistent abstractions of affine control systems
- Quotients of Fully Nonlinear Control Systems
- On the Equivalence of Control Systems and the Linearization of Nonlinear Systems