Logical Analysis of Hybrid Systems
From MaRDI portal
Publication:4930176
DOI10.1007/978-3-642-14509-4zbMath1211.68412OpenAlexW3168224710MaRDI QIDQ4930176
Publication date: 28 September 2010
Full work available at URL: https://doi.org/10.1007/978-3-642-14509-4
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Control/observation systems involving computers (process control, etc.) (93C83) Logic in artificial intelligence (68T27)
Related Items (37)
Differential Game Logic ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ An exercise on the generation of many-valued dynamic logics ⋮ A model of systems with modes and mode transitions ⋮ Verification of Hybrid Systems ⋮ KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems ⋮ Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems ⋮ Introducing interval differential dynamic logic ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ 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 ⋮ Unnamed Item ⋮ Towards a UTP Semantics for Modelica ⋮ A Hoare logic for linear systems ⋮ \(\epsilon\)-semantics computations on biological systems ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ A formal framework for Hybrid Event B ⋮ A Formal Model for a Hybrid Programming Language ⋮ Towards physical hybrid systems ⋮ 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 ⋮ Implicit definitions with differential equations for KeYmaera X (system description) ⋮ A Survey on Analog Models of Computation ⋮ Moded and continuous abstract state machines ⋮ Generating invariants for non-linear hybrid systems
Uses Software
This page was built for publication: Logical Analysis of Hybrid Systems
