Pages that link to "Item:Q5282109"
From MaRDI portal
The following pages link to Approximation Metrics for Discrete and Continuous Systems (Q5282109):
Displaying 50 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- Nonlinear norm-observability and simulation of control systems (Q2410466) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Probabilistic model of software approximate correctness (Q2825263) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Qualitative Approximate Behavior Composition (Q2915091) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems (Q3015126) (← links)
