Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

DOI10.1007/978-3-642-31113-0_7zbMATH Open1358.68069OpenAlexW158357973MaRDI QIDQ2908563FDOQ2908563

Authors: Brijesh Dongol, Ian Hayes 

Publication date: 5 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31113-0_7

Recommendations

• Controller synthesis made real: reach-avoid specifications and linear dynamics
• Multi-layered abstraction-based controller synthesis for continuous-time systems
• scientific article; zbMATH DE number 4211895
• Real-time specification and modeling with joint actions
• scientific article; zbMATH DE number 1487946
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• Verification, performance analysis and controller synthesis for real-time systems
• A System-Level Approach to Controller Synthesis
• Controller synthesis for dynamic hierarchical real-time plants using timed automata

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Title not available (Why is that?)
• Duration calculus. A formal approach to real-time systems.
• Title not available (Why is that?)
• Refinement Calculus
• Guarded commands, nondeterminacy and formal derivation of programs
• Robust safety of timed automata
• Hybrid action systems
• A timeband framework for modelling real-time systems
• Prefix and projection onto state in duration calculus
• Title not available (Why is that?)
• Compositional action system refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Action System Refinement
• Refinement of time
• Streamlining progress-based derivations of concurrent programs
• Compositional action system derivation using enforced properties

Cited In (4)

• Real-time specification and modeling with joint actions
• Reasoning about goal-directed real-time teleo-reactive programs
• Towards an algebra for real-time programs
• A timeband framework for modelling real-time systems

This page was built for publication: Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908563)