Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Abstract elided by the publisher.
Related papers
- From Cardiac Cells to Genetic Regulatory Networks CAV 2011
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Parametrized Verification of Linear Networks Using Automata as Invariants CAV 1997
- Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology CGO 2023
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020