Verification of Hybrid Systems
From MaRDI portal
Recommendations
- Computational techniques for hybrid system verification
- Hybrid Systems: From Verification to Falsification
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1303060
- Abstractions of hybrid systems for verification
- A compositional approach to the verification of hybrid systems
- Formal modelling, analysis and verification of hybrid systems
- scientific article; zbMATH DE number 1696448
Cites work
- A calculus of communicating systems
- A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
- A complete uniform substitution calculus for differential dynamic logic
- A Decision Procedure for the First Order Theory of Real Addition with Order
- A differential operator approach to equational differential invariants (invited paper)
- A dynamic algorithm for approximate flow computations
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A theory of timed automata
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- A unified framework for hybrid control: model and optimal control theory
- Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Abstractions for hybrid systems
- Algorithm for discovering the set of all the solutions of a linear programming problem
- Algorithmic analysis of nonlinear hybrid systems
- Almost ASAP semantics: from timed models to timed implementations
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Approximation Metrics for Discrete and Continuous Systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Bisimulation relations for dynamical, control, and hybrid systems
- COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
- Computing differential invariants of hybrid systems as fixed points
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- Constructing invariants for hybrid systems
- Controller synthesis for safety and reachability via approximate bisimulation
- Counterexample-guided predicate abstraction of hybrid systems
- Differential automata and their discrete simulators
- Differential dynamic logic for hybrid systems
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Discrete-time control for rectangular hybrid automata
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- Embedded system design. Embedded systems foundations of cyber-physical systems
- Flowpipe approximation and clustering in space-time
- Formal Modeling and Analysis of Timed Systems
- Foundations of a Compositional Interchange Format for Hybrid Systems
- Fourier-Motzkin elimination and its dual
- Generating Box Invariants
- Generating invariants for non-linear hybrid systems by linear algebraic methods
- Handbook of Hybrid Systems Control
- scientific article; zbMATH DE number 1670775 (Why is no real title available?)
- scientific article; zbMATH DE number 3718210 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1301631 (Why is no real title available?)
- scientific article; zbMATH DE number 1303060 (Why is no real title available?)
- scientific article; zbMATH DE number 1303063 (Why is no real title available?)
- scientific article; zbMATH DE number 524106 (Why is no real title available?)
- scientific article; zbMATH DE number 1956640 (Why is no real title available?)
- scientific article; zbMATH DE number 1956651 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1759608 (Why is no real title available?)
- scientific article; zbMATH DE number 1794360 (Why is no real title available?)
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- scientific article; zbMATH DE number 744075 (Why is no real title available?)
- scientific article; zbMATH DE number 1424031 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 1444348 (Why is no real title available?)
- scientific article; zbMATH DE number 1444359 (Why is no real title available?)
- scientific article; zbMATH DE number 6456199 (Why is no real title available?)
- scientific article; zbMATH DE number 6783107 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Hybrid automata with finite bisimulations
- Hybrid dynamical systems
- Hybrid I/O automata.
- Hybrid process algebra
- HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
- Hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
- Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
- Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
- Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
- Hybridization methods for the analysis of nonlinear systems
- HyTech: A model checker for hybrid systems
- Interactive decision maps. Approximation and visualization of Pareto frontier
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Languages and Tools for Hybrid Systems Design
- Lazy abstraction
- Logical analysis of hybrid systems. Proving theorems for complex dynamics.
- Logical foundations of cyber-physical systems
- Logics of dynamical systems
- O-minimal hybrid systems.
- On reachability for hybrid automata over bounded time
- On the complexity of four polyhedral set containment problems
- On the hardness of computing intersection, union and Minkowski sum of polytopes
- Optimal semicomputable approximations to reachable and invariant sets
- Parametric real-time reasoning
- Partial cylindrical algebraic decomposition for quantifier elimination
- Periodically Controlled Hybrid Systems
- Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems
- Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011
- Process algebra for hybrid systems
- Quantified differential invariants
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Robust parametric reachability for timed automata
- Robust safety of timed automata
- Robust Test Generation and Coverage for Hybrid Systems
- Safety verification of non-linear hybrid systems is quasi-semidecidable
- State equivalences for rectangular hybrid automata
- Stochastic differential dynamic logic for stochastic hybrid programs
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Symbolic reachability computation for families of linear vector fields
- Syntax and consistent equation semantics of hybrid Chi
- Temporal Logic Verification Using Simulation
- The Complete Proof Theory of Hybrid Systems
- The Image Computation Problem in Hybrid Systems Model Checking
- The structure of differential invariants and differential cut elimination
- Updatable timed automata
- Using redundant constraints for refinement
- Verification and Control of Hybrid Systems
- Verification of cooperating traffic agents
- Verification of Supervisory Control Software Using State Proximity and Merging
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- What's decidable about hybrid automata?
Cited in
(33)- HyTech: A model checker for hybrid systems
- An axiomatic approach to existence and liveness for differential equations
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Reachability analysis of a general class of neural ordinary differential equations
- Limit cycle analysis of a class of hybrid gene regulatory networks
- Deductive stability proofs for ordinary differential equations
- A Simulink-based software solution using the infinity computer methodology for higher order differentiation
- Towards physical hybrid systems
- Parametric verification and test coverage for hybrid automata using the inverse method
- Formal modelling, analysis and verification of hybrid systems
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Parametric verification and test coverage for hybrid automata using the inverse method
- Temporal logic and fair discrete systems
- Combining Model Checking and Deduction
- scientific article; zbMATH DE number 1303060 (Why is no real title available?)
- scientific article; zbMATH DE number 1956640 (Why is no real title available?)
- scientific article; zbMATH DE number 1794382 (Why is no real title available?)
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- Verification of Open Systems
- scientific article; zbMATH DE number 7361375 (Why is no real title available?)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Automated Technology for Verification and Analysis
- Hybrid Systems: From Verification to Falsification
- A Hybrid Denotational Semantics for Hybrid Systems
- Automated Machine-Checked Hybrid System Safety Proofs
- Strategy synthesis for partially-known switched stochastic systems
- An axiomatic approach to liveness for differential equations
- Viability in hybrid systems
- A Coq formalization of Taylor models and power series for solving ordinary differential equations
- \textsc{Uppaal Coshy}: automatic synthesis of compact shields for hybrid systems
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
Describes a project that uses
Uses Software
This page was built for publication: Verification of Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176388)
