Approximation Metrics for Discrete and Continuous Systems
From MaRDI portal
Cited in
(81)- Data-driven abstraction-based control synthesis
- Finite-step approximately bi-similar symbolic model for switched systems
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
- Approximation of myopic systems whose inputs need not be continuous
- Approximate bisimulation relations for constrained linear systems
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- scientific article; zbMATH DE number 4044887 (Why is no real title available?)
- Approximate simulation relations for hybrid systems
- Bisimulations of Boolean Control Networks
- Trajectory-based theory for hybrid systems
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- Bisimilar Finite Abstractions of Interconnected Systems
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
- Non Expansive ε-Bisimulations
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Finite abstractions for hybrid systems with stable continuous dynamics
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Controller synthesis for safety and reachability via approximate bisimulation
- Characterization and computation of approximate bisimulations for fuzzy automata
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Model predictive control of directed-graph constrained systems
- Model reduction of switched affine systems
- Hierarchical control system design using approximate simulation
- Semiring-based specification approaches for quantitative security
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- \(\epsilon\)-semantics computations on biological systems
- Design of smooth hybrid controllers for a class of non-linear systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Proving approximate implementations for probabilistic I/O automata
- Symbolic models for nonlinear control systems affected by disturbances
- Robustness of temporal logic specifications for continuous-time signals
- Verification of Hybrid Systems
- Logical characterisation of hybrid conformance
- Input-output-to-state stability of systems related through simulation relations
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Computing branching distances with quantitative games
- Quantitative analysis of software approximate correctness
- Decentralized control of finite state systems: a game theoretic approach
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Temporal logic motion planning for dynamic robots
- Lattice-valued simulations for quantitative transition systems
- A modal characterization of alternating approximate bisimilarity
- Abstraction-based control synthesis using partial information
- Probabilistic model of software approximate correctness
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Approximate bisimulation: a bridge between computer science and control theory
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic models for retarded jump-diffusion systems
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics
- Characterize branching distance in terms of ( , )-bisimilarity
- Approximate predictability of pseudo-metric systems
- Dynamics of reputation in mobile agents systems and weighted timed automata
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Synthesizing SystemC Code from Delay Hybrid CSP
- Nonlinear norm-observability and simulation of control systems
- Towards scalable synthesis of stochastic control systems
- Hierarchical controller synthesis using (, )-similarity
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- scientific article; zbMATH DE number 33512 (Why is no real title available?)
- Approximate equivalence and synchronization of metric transition systems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Robust output feedback hierarchical control for a class of non-linear systems
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Simulation relations and applications in formal methods
- A behavioural pseudometric based on -bisimilarity
- Passivity-based analysis of sampled and quantized control implementations
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- Fibrational bisimulations and quantitative reasoning
- Hierarchical analysis of large-scale control systems via vector simulation function
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Qualitative approximate behavior composition
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
This page was built for publication: Approximation Metrics for Discrete and Continuous Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282109)
