Logical Analysis of Hybrid Systems
From MaRDI portal
Publication:4930176
DOI10.1007/978-3-642-14509-4zbMath1211.68412MaRDI QIDQ4930176
Publication date: 28 September 2010
Full work available at URL: https://doi.org/10.1007/978-3-642-14509-4
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
93C83: Control/observation systems involving computers (process control, etc.)
68T27: Logic in artificial intelligence
Related Items
Unnamed Item, A Survey on Analog Models of Computation, 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, A Hoare logic for linear systems, Construction of parametric barrier functions for dynamical systems using interval analysis, ModelPlex: verified runtime validation of verified cyber-physical system models, The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country, 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, 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, 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
Uses Software