Approximation Metrics for Discrete and Continuous Systems

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)

Mathematics Subject Classification ID

System identification (93B30)

Related Items (70)

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

This page was built for publication: Approximation Metrics for Discrete and Continuous Systems