Formal modelling, analysis and verification of hybrid systems
From MaRDI portal
Publication:2948232
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 1617317 (Why is no real title available?)
- scientific article; zbMATH DE number 1817650 (Why is no real title available?)
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 1303063 (Why is no real title available?)
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1798192 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3182410 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
- A calculus of durations
- A theory of timed automata
- An assume/guarantee based compositional calculus for hybrid CSP
- An axiomatic basis for computer programming
- Automated Technology for Verification and Analysis
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Automatic invariant generation for hybrid systems using ideal fixed points
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- Computer Aided Verification
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Controller synthesis for safety and reachability via approximate bisimulation
- Counterexample-guided predicate abstraction of hybrid systems
- Deductive verification of continuous dynamical systems
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Duration calculus. A formal approach to real-time systems.
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Measurability and safety verification for stochastic hybrid systems
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Non-linear loop invariant generation using Gröbner bases
- QEPCAD B
- Recent advances in program verification through computer algebra
- Recent advances on determining the number of real roots of parametric polynomials
- Stability Criteria for Switched and Hybrid Systems
- Symbolic reachability computation for families of linear vector fields
- Synthesizing Switching Logic Using Constraint Solving
- The algorithmic analysis of hybrid systems
- Theorem Proving in Higher Order Logics
- Verifying industrial hybrid systems with \textsc{MathSAT}
Cited in
(19)- Communicating Sequential Processes. The First 25 Years
- A type-based analysis of causality loops in hybrid systems modelers
- 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
- Hybrid Systems: Computation and Control
- Simulation logic validation method of hybrid systems applying classical first-order logic
- Verification of Hybrid Systems
- scientific article; zbMATH DE number 2000404 (Why is no real title available?)
- scientific article; zbMATH DE number 1303060 (Why is no real title available?)
- A compositional modelling and verification framework for stochastic hybrid systems
- scientific article; zbMATH DE number 1390366 (Why is no real title available?)
- Manifest domains: analysis and description
- Barrier certificates revisited
- Verifying industrial hybrid systems with \textsc{MathSAT}
- A SOC-based formal specification and verification of hybrid systems
- A two-way path between formal and informal design of embedded systems
- Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
Describes a project that uses
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)
