Verification and Control of Hybrid Systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Hybrid diagrams
- Solving odd-fair parity games
- Memoryless concretization relation
- Learning-based symbolic abstractions for nonlinear control systems
- Data-driven abstraction-based control synthesis
- Finite-step approximately bi-similar symbolic model for switched systems
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- Theory and computation of discrete state space decompositions for hybrid systems
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
- Symbolic approximate time-optimal control
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Skill-based verification of cyber-physical systems
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Asynchronous l-complete approximations
- Hybrid Control and Verification of a Pulsed Welding Process
- Formal modelling, analysis and verification of hybrid systems
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- A SOC-based formal specification and verification of hybrid systems
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Controller synthesis against omega-regular specifications: a funnel-based control approach
- Handbook of Hybrid Systems Control
- Control barrier functions for stochastic systems
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Closure certificates
- Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates
- Contract-based distributed logical controller synthesis
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Augmented finite transition systems as abstractions for control synthesis
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
- Qualitative behavior of solutions of Liénard-type systems with state-dependent impulses
- Consistent reduction in discrete-event systems
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- Synthesis for observability of logical control networks
- On distributed symbolic control of interconnected systems under persistency specifications
- Measuring robustness in cyber-physical systems under sensor attacks
- Controller synthesis for safety and reachability via approximate bisimulation
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Quantifying conformance using the Skorokhod metric
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Continuity as a computational effect
- A semantics for hybrid iteration
- Low-complexity quantized switching controllers using approximate bisimulation
- Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes
- Traffic models of periodic event-triggered quantized control systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Hybrid dynamical systems. Fundamentals and methods
- A model-based approach to testing software control systems described by linear differential equations
- Pliant modalities in hybrid Event-B
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Symbolic models for nonlinear control systems affected by disturbances
- Reduction and analysis of Boolean control networks by bisimulation
- Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
- Verification of Hybrid Systems
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Abstract models of decentralised periodic event-triggered control systems
- Development of algorithms and software for studying the stability of complex power systems
- On quotients of Boolean control networks
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Backstepping controller synthesis and characterizations of incremental stability
- Contraction theory on Riemannian manifolds
- Languages and models for hybrid automata: a coalgebraic perspective
- Optimal control of probabilistic logic networks and its application to real-time pricing of electricity
- Decentralized control of finite state systems: a game theoretic approach
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- A probabilistic approach to control of complex systems and its application to real-time pricing
- Stochastic ergodic control in hybrid systems: a framework for safe autonomy in adversarial environments
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- Data-driven controller synthesis for abstract systems with regular language specifications
- Abstraction-based control synthesis using partial information
- A practical hybrid predictive control algorithm for a low-temperature thermosolar plant
- On the timed temporal logic planning of coupled multi-agent systems
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Reachability and observability reduction for linear switched systems with constrained switching
- On tolerance of discrete systems with respect to transition perturbations
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Switching controller synthesis for delay hybrid systems under perturbations
- Poster Abstract: Towards Seamless Reactivity of Hybrid Control
- Poster Abstract: Permissiveness for Strategy Adaptation
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Approximate bisimulation: a bridge between computer science and control theory
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic control: unveiling free robustness margins
- Computing the average inter-sample time of event-triggered control using quantitative automata
- Symbolic models for retarded jump-diffusion systems
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Verification of approximate opacity for switched systems: a compositional approach
- Symbolic verification of hybrid systems: an algebraic approach
- \(p\)-dominant switched linear systems
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)
