Automatic invariant generation for hybrid systems using ideal fixed points
From MaRDI portal
Recommendations
Cites work
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Discrete-time control for rectangular hybrid automata
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Marked directed graphs
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Unfoldings: A partial-order approach to model checking.
- What's decidable about hybrid automata?
Cited in
(31)- Computing differential invariants of hybrid systems as fixed points
- Safety verification of interconnected hybrid systems using barrier certificates
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
- Pegasus: sound continuous invariant generation
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Explaining AI decisions using efficient methods for learning sparse Boolean formulae
- Generating invariants for non-linear hybrid systems
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- A compositional modelling and verification framework for stochastic hybrid systems
- Constructing invariants for hybrid systems
- Formal modelling, analysis and verification of hybrid systems
- Transcendental inductive invariants generation for non-linear differential and hybrid systems
- Verification of Hybrid Systems
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
- Generating invariants for non-linear hybrid systems by linear algebraic methods
- Barrier certificates revisited
- scientific article; zbMATH DE number 7559488 (Why is no real title available?)
- On the Coalgebra of Partial Differential Equations
- Periodic solutions versus practical switching control for sensorless piecewise affine systems (PWA)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Automatic pre- and postconditions for partial differential equations
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
- Verifying Neural Network Controlled Systems Using Neural Networks
- Pegasus: a framework for sound continuous invariant generation
- Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
- Differential elimination and algebraic invariants of polynomial dynamical systems
- Exact safety verification of hybrid systems using sums-of-squares representation
- Change-of-bases abstractions for non-linear hybrid systems
This page was built for publication: Automatic invariant generation for hybrid systems using ideal fixed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985884)
