Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
type: Item
instance of: scholarly article
title: Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
zbMATH Open document ID: 1342.93065
author: Richard Banach
author: Huibiao Zhu
author: Wen Su
author: Runlei Huang
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 93C15
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 6609546
zbMATH Keywords: continuous KAOS
zbMATH Keywords: continuous ASM
zbMATH Keywords: control systems
zbMATH Keywords: rigorous design
zbMATH Keywords: refinement
zbMATH Keywords: retrenchment
zbMATH Keywords: continuous modeling
zbMATH Keywords: discrete modeling
zbMATH Keywords: train control
describes a project that uses: ML
describes a project that uses: HOL
describes a project that uses: Rodin
describes a project that uses: PVS
describes a project that uses: HOL Light
describes a project that uses: Z
MaRDI profile type: Publication
full work available at URL: s00165-012-0263-2
OpenAlex ID: W1994730098
cites work: The B-Book
cites work: Q3569584
cites work: A really temporal logic
cites work: A theory of timed automata
cites work: Real-time logics: Complexity and expressiveness
cites work: Q5493419
cites work: Q5200684
cites work: Q4065362
cites work: Q4935249
cites work: Retrenchment and refinement interworking: the tower theorems
cites work: Composition mechanisms for retrenchment
cites work: The ASM refinement method
cites work: Engineering and theoretical underpinnings of retrenchment
cites work: Reconciling statechart semantics
cites work: Abstract State Machines
cites work: Q5472808
cites work: Q4000274
cites work: Q4375488
cites work: Q2724177
cites work: Q4211176
cites work: Q4143094
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Q3997244
cites work: Data Refinement
cites work: Q4692382
cites work: Q5287513
cites work: A calculus of durations
cites work: Q4503930
cites work: Matrix Analysis
cites work: Q4040931
cites work: What good are digital clocks?
cites work: A Skeptic's approach to combining HOL and Maple
cites work: Specifying message passing and time-critical systems with temporal logic
cites work: Q4695311
cites work: Q3539947
cites work: Elementary Functional Analysis
cites work: ASM refinement and generalizations of forward simulation in data refinement: a comparison
cites work: Real-Time Systems
cites work: Q4472226
cites work: Q4377738
cites work: Differential-algebraic Dynamic Logic for Differential-algebraic Programs
cites work: Logical Analysis of Hybrid Systems
cites work: Quantified Differential Dynamic Logic for Distributed Hybrid Systems
cites work: Q4331845
cites work: Numerical methods for optimal control problems with state constraints
cites work: Mode change protocols for real-time systems: a survey and a new proposal
cites work: Q4938156
cites work: Q4400449
cites work: Q4229232

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

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (cites work)
cites work: Verification and Control of Hybrid Systems

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

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

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (DOI)
DOI: 10.1007/S00165-012-0263-2