Formal modelling, analysis and verification of hybrid systems
DOI10.1007/978-3-642-39721-9_5zbMATH Open1444.68105OpenAlexW35751504MaRDI QIDQ2948232FDOQ2948232
Hengjun Zhao, Naijun Zhan, Shu-Ling Wang
Publication date: 30 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39721-9_5
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- QEPCAD B
- Hybrid Systems: Computation and Control
- A theory of timed automata
- Hybrid Systems: Computation and Control
- Stability Criteria for Switched and Hybrid Systems
- Duration calculus. A formal approach to real-time systems.
- Title not available (Why is that?)
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Hybrid Systems: Computation and Control
- The algorithmic analysis of hybrid systems
- Non-linear loop invariant generation using Gröbner bases
- Title not available (Why is that?)
- Recent advances on determining the number of real roots of parametric polynomials
- Title not available (Why is that?)
- A calculus of durations
- Recent advances in program verification through computer algebra
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Computer Aided Verification
- Verifying industrial hybrid systems with \textsc{MathSAT}
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
- Controller synthesis for safety and reachability via approximate bisimulation
- Symbolic reachability computation for families of linear vector fields
- Deductive verification of continuous dynamical systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Synthesizing Switching Logic Using Constraint Solving
- Counterexample-guided predicate abstraction of hybrid systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Measurability and safety verification for stochastic hybrid systems
- Theorem Proving in Higher Order Logics
- An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
- A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
- Title not available (Why is that?)
Cited In (16)
- A compositional modelling and verification framework for stochastic hybrid systems
- Communicating Sequential Processes. The First 25 Years
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verifying industrial hybrid systems with \textsc{MathSAT}
- Verification of Hybrid Systems
- A type-based analysis of causality loops in hybrid systems modelers
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL
- Modelling, analysis and design of hybrid systems
- Verification and Control of Hybrid Systems
- Synthesizing SystemC Code from Delay Hybrid CSP
- Barrier certificates revisited
- Title not available (Why is that?)
- Manifest domains: analysis and description
- Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
Uses Software
This page was built for publication: Formal modelling, analysis and verification of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948232)
