Logical analysis of hybrid systems. Proving theorems for complex dynamics.
From MaRDI portal
Publication:4930176
Recommendations
Cited in
(52)- Bellerophon: tactical theorem proving for hybrid systems
- Languages and models for hybrid automata: a coalgebraic perspective
- Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems
- Implicit definitions with differential equations for KeYmaera X (system description)
- Moded and continuous abstract state machines
- A model of systems with modes and mode transitions
- Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems
- Introducing interval differential dynamic logic
- Towards physical hybrid systems
- Generating invariants for non-linear hybrid systems
- An exercise on the generation of many-valued dynamic logics
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- Applying differential dynamic logic to reconfigurable biological networks
- \(\epsilon\)-semantics computations on biological systems
- A formal framework for Hybrid Event B
- Theorem-proving analysis of digital control logic interacting with continuous dynamics
- A formal model for a hybrid programming language
- Relating bisimulations with attractors in Boolean network models
- A practical hybrid predictive control algorithm for a low-temperature thermosolar plant
- Pliant modalities in hybrid Event-B
- Towards a modeling language for cyber-physical systems
- Towards a UTP semantics for Modelica
- Verification of Hybrid Systems
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- Algebraic_VCs
- A Hoare logic for linear systems
- scientific article; zbMATH DE number 2086997 (Why is no real title available?)
- A semantics for hybrid iteration
- A Survey on Analog Models of Computation
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Differential game logic
- Verifying Switched System Stability With Logic
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- A program logic to verify signal temporal logic specifications of hybrid systems
- Verifiably safe exploration for end-to-end reinforcement learning
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Verified Quadratic Virtual Substitution for Real Arithmetic
- IsaVODEs: Interactive verification of cyber-physical systems at scale
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Semi-competitive differential game logic
- Global asymptotic local exponential stability of time-delay hybrid systems with logical dynamics
- A real-analytic approach to differential-algebraic dynamic logic
- Adding concurrency to quantum dynamic logic
- Embedding differential dynamic logic in PVS
- Cone-based abstract interpretation for nonlinear positive invariant synthesis
- The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country
- Differential elimination and algebraic invariants of polynomial dynamical systems
- Scientific machine learning
- Verification Components for Hybrid Systems
- Matrices for ODEs
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
This page was built for publication: Logical analysis of hybrid systems. Proving theorems for complex dynamics.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930176)
