Equivalence of Dynamical Systems by Bisimulation
From MaRDI portal
Publication:5273951
DOI10.1109/TAC.2004.838497zbMath1365.93212OpenAlexW2109080678MaRDI QIDQ5273951
Publication date: 12 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2004.838497
Related Items
Bisimulation equivalence of differential-algebraic systems, Hierarchical analysis of large-scale control systems via vector simulation function, Formal controller synthesis from specifications given by discrete-time hybrid automata, Assume-guarantee contracts for continuous-time systems, Nonlinear norm-observability and simulation of control systems, Abstraction and control by interconnection of linear systems: a geometric approach, Abstraction-based control synthesis using partial information, Compositional analysis for linear systems, Differential Bisimulation for a Markovian Process Algebra, Bisimulations of Probabilistic Boolean Networks, Comparing chemical reaction networks: a categorical and algorithmic perspective, What can the canonical controller in principle tell us?, Bisimulations of Boolean Control Networks, A subspace approach to linear dynamical systems, Local factorization of trajectory lifting morphisms for single-input affine control systems, Approximate abstractions of control systems with an application to aggregation, Decentralized abstractions for multi-agent systems under coupled constraints, Approximate reduction of dynamic 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, Reorientation of linear switched systems using state feedback, Approximate bisimulation: a bridge between computer science and control theory, On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems, Equivalence of switching linear systems by bisimulation, A complexity reduction approach to detectability of switching systems, Approximate equivalence and synchronization of metric transition systems, Approximately bisimilar symbolic models for nonlinear control systems, Controller synthesis for bisimulation equivalence, Input-Output-to-State Stability of Systems Related through Simulation Relations, Symbolic computation of differential equivalences, Quantitative Abstractions for Collective Adaptive Systems, Unnamed Item, Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems, Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems, Reduction and Analysis of Boolean Control Networks by Bisimulation
