Verification and Control of Hybrid Systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Optimal control of probabilistic logic networks and its application to real-time pricing of electricity
- Symbolic control design for monotone systems with directed specifications
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Compositional abstraction refinement for control synthesis
- Dynamic hierarchical reactive controller synthesis
- Augmented finite transition systems as abstractions for control synthesis
- Towards scalable synthesis of stochastic control systems
- Decentralized abstractions for multi-agent systems under coupled constraints
- On the timed temporal logic planning of coupled multi-agent systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- A probabilistic approach to control of complex systems and its application to real-time pricing
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Languages and models for hybrid automata: a coalgebraic perspective
- Hybrid diagrams
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- On distributed symbolic control of interconnected systems under persistency specifications
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Verification of approximate opacity for switched systems: a compositional approach
- Symbolic models for infinite networks of control systems: a compositional approach
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Learning-based symbolic abstractions for nonlinear control systems
- Moded and continuous abstract state machines
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Hybrid dynamical systems. Fundamentals and methods
- Qualitative behavior of solutions of Liénard-type systems with state-dependent impulses
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Consistent reduction in discrete-event systems
- Synthesis for observability of logical control networks
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Approximate predictability of pseudo-metric systems
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Passivity-based analysis of sampled and quantized control implementations
- Low-complexity quantized switching controllers using approximate bisimulation
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Symbolic control design of nonlinear systems with outputs
- Symbolic models for retarded jump-diffusion systems
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- Optimal control of hybrid switched systems: a brief survey
- Continuity as a computational effect
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Nonlinear norm-observability and simulation of control systems
- Abstraction and control by interconnection of linear systems: a geometric approach
- Backstepping controller synthesis and characterizations of incremental stability
- Contraction theory on Riemannian manifolds
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching
- Guest editorial: Verification of hybrid systems
- Symbolic verification of hybrid systems: an algebraic approach
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
- On quotients of Boolean control networks
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Control barrier functions for stochastic systems
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- \(p\)-dominant switched linear systems
- Data-driven controller synthesis for abstract systems with regular language specifications
- Abstraction-based control synthesis using partial information
- Computing the average inter-sample time of event-triggered control using quantitative automata
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- A SOC-based formal specification and verification of hybrid systems
- A practical hybrid predictive control algorithm for a low-temperature thermosolar plant
- Pliant modalities in hybrid Event-B
- Formal modelling, analysis and verification of hybrid systems
- SMT-based analysis of virtually synchronous distributed hybrid systems
- Limits in categories of Vietoris coalgebras
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Introduction to model checking
- Verification of Hybrid Systems
- Lazy abstraction-based controller synthesis
- Reachability and observability reduction for linear switched systems with constrained switching
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Hybrid Control and Verification of a Pulsed Welding Process
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Characterization and computation of infinite-horizon specifications over Markov processes
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Theory and computation of discrete state space decompositions for hybrid systems
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- scientific article; zbMATH DE number 1303062 (Why is no real title available?)
- Controller synthesis for safety and reachability via approximate bisimulation
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Numerical solution of optimal control problems with explicit and implicit switches
- Asynchronous l-complete approximations
- Symbolic models for nonlinear control systems affected by disturbances
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- A semantics for hybrid iteration
- Skill-based verification of cyber-physical systems
- Dynamics and control of singular Boolean networks
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
- Quantitative model-checking of controlled discrete-time Markov processes
This page was built for publication: Verification and Control of Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3629218)
