Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
From MaRDI portal
Publication:736916
DOI10.1007/s00165-012-0263-2zbMath1342.93065OpenAlexW1994730098MaRDI QIDQ736916
Runlei Huang, Richard Banach, Huibiao Zhu, Wen Su
Publication date: 5 August 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-012-0263-2
control systemstrain controlrefinementretrenchmentcontinuous modelingcontinuous ASMcontinuous KAOSdiscrete modelingrigorous design
Related Items
Uses Software
Cites Work
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Specifying message passing and time-critical systems with temporal logic
- Real-time logics: Complexity and expressiveness
- Mode change protocols for real-time systems: a survey and a new proposal
- The ASM refinement method
- Engineering and theoretical underpinnings of retrenchment
- Reconciling statechart semantics
- A calculus of durations
- A Skeptic's approach to combining HOL and Maple
- Numerical methods for optimal control problems with state constraints
- A theory of timed automata
- Composition mechanisms for retrenchment
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Elementary Functional Analysis
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Verification and Control of Hybrid Systems
- Matrix Analysis
- The B-Book
- A really temporal logic
- Abstract State Machines
- Data Refinement
- Logical Analysis of Hybrid Systems
- What good are digital clocks?
- Retrenchment and refinement interworking: the tower theorems
- Formal Modeling and Analysis of Timed Systems
- Real-Time Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
