Pages that link to "Item:Q4930176"
From MaRDI portal
The following pages link to Logical Analysis of Hybrid Systems (Q4930176):
Displayed 37 items.
- A Hoare logic for linear systems (Q469998) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country (Q722232) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems (Q1930962) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- A model of systems with modes and mode transitions (Q2141292) (← links)
- Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems (Q2144479) (← links)
- Introducing interval differential dynamic logic (Q2145261) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Relating Bisimulations with Attractors in Boolean Network Models (Q2823013) (← links)
- A practical hybrid predictive control algorithm for a low-temperature thermosolar plant (Q2826791) (← links)
- Pliant Modalities in Hybrid Event-B (Q2842625) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
- (Q5009436) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Differential Game Logic (Q5277902) (← links)
- Verifying Switched System Stability With Logic (Q6120689) (← links)
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory (Q6163881) (← links)
- A program logic to verify signal temporal logic specifications of hybrid systems (Q6201590) (← links)
- Verifiably safe exploration for end-to-end reinforcement learning (Q6201597) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)