Bisimilar linear systems.
From MaRDI portal
Publication:1421437
DOI10.1016/J.AUTOMATICA.2003.07.003zbMath1045.93033DBLPjournals/automatica/Pappas03OpenAlexW2090771707WikidataQ57582125 ScholiaQ57582125MaRDI QIDQ1421437
Publication date: 26 January 2004
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2003.07.003
Discrete event control/observation systems (93C65) System structure simplification (93B11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03)
Related Items (48)
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 ⋮ Approximate analyzing of labeled transition systems ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Nonlinear norm-observability and simulation of control systems ⋮ Abstraction and control by interconnection of linear systems: a geometric approach ⋮ Compositional analysis for linear systems ⋮ Differential Bisimulation for a Markovian Process Algebra ⋮ Theory and computation of discrete state space decompositions for hybrid systems ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ What can the canonical controller in principle tell us? ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Bisimulations of Boolean Control Networks ⋮ A subspace approach to linear dynamical systems ⋮ Local factorization of trajectory lifting morphisms for single-input affine control systems ⋮ A framework for multi-robot motion planning from temporal logic specifications ⋮ A connection between simulation relations and feedback transformations in nonlinear control systems ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Bisimilar linear systems. ⋮ Fault diagnosis of discretely controlled continuous systems by means of discrete-event models ⋮ Approximate simulation relations for hybrid systems ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Controllability properties of nonlinear systems induced by lifting ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Admissible simulation relations, set-valued feedback, and controlled invariance ⋮ Reorientation of linear switched systems using state feedback ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ An optimal control approach to mode generation in hybrid systems ⋮ Equivalence of switching linear systems by bisimulation ⋮ Bisimilar control affine systems ⋮ Lifting of trajectories of control systems related by smooth mappings ⋮ A complexity reduction approach to detectability of switching systems ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Input-Output-to-State Stability of Systems Related through Simulation Relations ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ 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 ⋮ \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Characterizing finite Kripke structures in propositional temporal logic
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Bisimilar linear systems.
- O-minimal hybrid systems.
- Hierarchical control of discrete-event systems
- Compositionality issues in discrete, continuous, and hybrid systems
- Bisimulation Relations for Dynamical and Control Systems
- Projection and deflation method for partial pole assignment in linear state feedback
- The generalized eigenstructure problem in linear system theory
- Hierarchically consistent control systems
- Computational techniques for hybrid system verification
- Consistent abstractions of affine control systems
- Model abstraction and inclusion principle: a comparison
This page was built for publication: Bisimilar linear systems.
