Approximation Metrics for Discrete and Continuous Systems
From MaRDI portal
Publication:5282109
DOI10.1109/TAC.2007.895849zbMath1366.93032WikidataQ57581929 ScholiaQ57581929MaRDI QIDQ5282109
Antoine Girard, George J. Pappas
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey, Finite abstraction of mixed monotone systems with discrete and continuous inputs, Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability, Verification of Hybrid Systems, Synthesizing SystemC Code from Delay Hybrid CSP, Finite abstractions with robustness margins for temporal logic-based control synthesis, Approximately bisimilar symbolic model for switched systems with unstable subsystems, Qualitative Approximate Behavior Composition, Symbolic models for time-varying time-delay systems via alternating approximate bisimulation, Trajectory-Based Theory for Hybrid Systems, Quantitative analysis of software approximate correctness, Symbolic abstractions for nonlinear control systems via feedback refinement relation, Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications, Hierarchical analysis of large-scale control systems via vector simulation function, Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications, Compositional synthesis of opacity-preserving finite abstractions for interconnected systems, Approximate predictability of pseudo-metric systems, Nonlinear norm-observability and simulation of control systems, Abstraction-based control synthesis using partial information, Approximate current state observability of discrete-time nonlinear systems under cyber-attacks, Characterization and computation of approximate bisimulations for fuzzy automata, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Simulation relations and applications in formal methods, Towards scalable synthesis of stochastic control systems, Hierarchical Control of Linear Systems from the Abstraction Feedback Gain, Robust stutter bisimulation for abstraction and controller synthesis with disturbance, Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space, Bisimulations of Boolean Control Networks, Finite abstractions for hybrid systems with stable continuous dynamics, Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces, Passivity-based analysis of sampled and quantized control implementations, Markov Set-Chains as Abstractions of Stochastic Hybrid Systems, Bisimilar Finite Abstractions of Interconnected Systems, Controller synthesis for safety and reachability via approximate bisimulation, Computing branching distances with quantitative games, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Model reduction of switched affine systems, Lattice-valued simulations for quantitative transition systems, \(\epsilon\)-semantics computations on biological systems, Approximately bisimilar symbolic models for randomly switched stochastic systems, Deadlock-free output feedback controller design based on approximately abstracted observers, A modal characterization of alternating approximate bisimilarity, Symbolic models for nonlinear control systems affected by disturbances, Approximate simulation relations for hybrid systems, Model-order reduction of ion channel dynamics using approximate bisimulation, Approximate bisimulation relations for constrained linear systems, Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems, A Behavioural Pseudometric based on λ–Bisimilarity, Low-complexity quantized switching controllers using approximate bisimulation, Approximate bisimulation: a bridge between computer science and control theory, Model predictive control of directed‐graph constrained systems, Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes, Robustness of temporal logic specifications for continuous-time signals, Symbolic models for retarded jump-diffusion systems, Fibrational bisimulations and quantitative reasoning, Approximate equivalence and synchronization of metric transition systems, Approximately bisimilar symbolic models for nonlinear control systems, Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, Bounded and Unbounded Safety Verification Using Bisimulation Metrics, Input-Output-to-State Stability of Systems Related through Simulation Relations, Temporal logic motion planning for dynamic robots, Hierarchical control system design using approximate simulation, Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions, Probabilistic model of software approximate correctness, Dynamics of reputation in mobile agents systems and weighted timed automata, Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface, Non Expansive ε-Bisimulations, Proving Approximate Implementations for Probabilistic I/O Automata
