Pages that link to "Item:Q4978661"
From MaRDI portal
The following pages link to Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661):
Displayed 50 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Incremental \((Q,S,R)\)-dissipativity and incremental stability for switched nonlinear systems (Q344645) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Finite controlled invariants for sampled switched systems (Q487251) (← links)
- Switched adaptive control of switched nonlinearly parameterized systems with unstable subsystems (Q490828) (← links)
- Adaptive fuzzy output-feedback dynamic surface control of MIMO switched nonlinear systems with unknown gain signs (Q679818) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← 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)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← 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)
- Vector incremental \(L_2\)-gain and incremental stability for switched nonlinear systems (Q1738625) (← links)
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Incremental stability and contraction via impulsive control for continuous-time dynamical systems (Q2061235) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← 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)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- A design of GPU-based quantitative model checking (Q2234091) (← links)
- Synchronous vs asynchronous switching-based output-feedback control for switched nonlinear systems with measurement noise sensitivity (Q2243032) (← 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)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise (Q2660746) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Practical output tracking of switched nonlinear systems in<i>p</i>-normal form with unstable subsystems (Q2822330) (← links)
- Output-feedback stabilisation for a class of switched nonlinear systems with unknown control coefficients (Q2871720) (← links)
- Adaptive control for a class of high-order switched nonlinearly parameterized systems (Q2965282) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Input-to-state contraction for impulsive systems (Q5069010) (← links)