Automatic invariant generation for hybrid systems using ideal fixed points

DOI10.1145/1755952.1755984zbMath1360.34082OpenAlexW2137258051MaRDI QIDQ2985884

Sriram Sankaranarayanan

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1755952.1755984

zbMATH Keywords

verificationinvariantsconservation lawshybrid systemsalgebraic geometry

Mathematics Subject Classification ID

Symmetries, invariants of ordinary differential equations (34C14) Specification and verification (program logics, model checking, etc.) (68Q60) Commutative rings of differential operators and their modules (13N10) Hybrid systems of ordinary differential equations (34A38)

Related Items (20)

Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Computation of polytopic invariants for polynomial dynamical systems using linear programming ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ Verifying Neural Network Controlled Systems Using Neural Networks ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Barrier certificates revisited ⋮ Periodic solutions versus practical switching control for sensorless piecewise affine systems (PWA) ⋮ Unnamed Item ⋮ Safety verification of interconnected hybrid systems using barrier certificates ⋮ Automatic pre- and postconditions for partial differential equations ⋮ On the Coalgebra of Partial Differential Equations ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Automatic invariant generation for hybrid systems using ideal fixed points