Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

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

zbMATH Keywords

control systemstrain controlrefinementretrenchmentcontinuous modelingcontinuous ASMcontinuous KAOSdiscrete modelingrigorous design

Mathematics Subject Classification ID

Related Items (1)

Retrenchment and refinement interworking: the tower theorems

Uses Software

• ML
• PVS
• HOL
• HOL Light
• Rodin
• Z

Cites Work

• 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
• 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

This page was built for publication: Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application