Verification of Hybrid Systems (Q3176388): Difference between revisions

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeYmaera X
@@ Property / describes a project that uses: KeYmaera X / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks
@@ Property / describes a project that uses: Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BACH
@@ Property / describes a project that uses: BACH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMV
@@ Property / describes a project that uses: SMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ellipsoidal Toolbox
@@ Property / describes a project that uses: Ellipsoidal Toolbox / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-10575-8_30
+Normal rank
@@ Property / OpenAlex ID @@
+W2803699674
@@ Property / OpenAlex ID: W2803699674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5261743
@@ Property / cites work: Q5261743 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Nonlinear Differential-Algebraic Systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
+Normal rank
@@ Property / cites work @@
+Avoiding geometric intersection operations in reachability analysis of hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4763590
@@ Property / cites work: Q4763590 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided predicate abstraction of hybrid systems
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Redundant Constraints for Refinement
@@ Property / cites work: Using Redundant Constraints for Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4249562
@@ Property / cites work: Q4249562 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of switching controllers for linear hybrid systems: safety control
+Normal rank
@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A unified framework for hybrid control: model and optimal control theory
+Normal rank
@@ Property / cites work @@
+On Reachability for Hybrid Automata over Bounded Time
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and Tools for Hybrid Systems Design
@@ Property / cites work: Languages and Tools for Hybrid Systems Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3908199
@@ Property / cites work: Q3908199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Optimal semicomputable approximations to reachable and invariant sets
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of cooperating traffic agents
@@ Property / cites work: Verification of cooperating traffic agents / rank @@
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination and its dual
@@ Property / cites work: Fourier-Motzkin elimination and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Almost ASAP semantics: from timed models to timed implementations
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic Verification Using Simulation
@@ Property / cites work: Temporal Logic Verification Using Simulation / rank @@
+Normal rank
@@ Property / cites work @@
+HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 14th international conference on Hybrid systems: computation and control
+Normal rank
@@ Property / cites work @@
+Flowpipe approximation and clustering in space-time
+Normal rank
@@ Property / cites work @@
+On the complexity of four polyhedral set containment problems
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Controller synthesis for safety and reachability via approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems
@@ Property / cites work: Hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Hybrid Systems Using Support Functions
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid automata with finite bisimulations
@@ Property / cites work: Hybrid automata with finite bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+State equivalences for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Rigorously computed orbits of dynamical systems without the wrapping effect
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Q5364938
@@ Property / cites work: Q5364938 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Supervisory Control Software Using State Proximity and Merging
+Normal rank
@@ Property / cites work @@
+Interactive decision maps. Approximation and visualization of Pareto frontier
+Normal rank
@@ Property / cites work @@
+Handbook of Hybrid Systems Control
@@ Property / cites work: Handbook of Hybrid Systems Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Embedded System Design
@@ Property / cites work: Embedded System Design / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418003
@@ Property / cites work: Q4418003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284595
@@ Property / cites work: Q4284595 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified differential invariants
@@ Property / cites work: Quantified differential invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
+Normal rank
@@ Property / cites work @@
+The Complete Proof Theory of Hybrid Systems
@@ Property / cites work: The Complete Proof Theory of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Differential Operator Approach to Equational Differential Invariants
+Normal rank
@@ Property / cites work @@
+Logics of Dynamical Systems
@@ Property / cites work: Logics of Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Structure of Differential Invariants and Differential Cut Elimination
+Normal rank
@@ Property / cites work @@
+A complete uniform substitution calculus for differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Cyber-Physical Systems
@@ Property / cites work: Logical Foundations of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+Computing differential invariants of hybrid systems as fixed points
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+A dynamic algorithm for approximate flow computations
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Constructing invariants for hybrid systems
@@ Property / cites work: Constructing invariants for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential automata and their discrete simulators
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Box Invariants
@@ Property / cites work: Generating Box Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of computing intersection, union and Minkowski sum of polytopes
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Syntax and consistent equation semantics of hybrid Chi
+Normal rank
@@ Property / cites work @@
+Foundations of a Compositional Interchange Format for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4246834
@@ Property / cites work: Q4246834 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodically Controlled Hybrid Systems
@@ Property / cites work: Periodically Controlled Hybrid Systems / rank @@
+Normal rank