Verification, performance analysis and controller synthesis for real-time systems
DOI10.1007/978-3-642-11623-0_2zbMATH Open1274.68185OpenAlexW1548878183MaRDI QIDQ3400913FDOQ3400913
Authors: Uli Fahrenberg, Claus Thrane, Kim G. Larsen 
Publication date: 28 January 2010
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_2
Recommendations
Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (16)
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Verification and Integration of Real-Time Control Software
- Real-Time Control of Dense-Time Systems Using Digital-Clocks
- Real-time semantics of state transition for embedded control systems
- Reachability analysis for timed automata using max-plus algebra
- On the synthesis of discrete controllers for timed systems
- Formal verification of multitasking applications based on timed automata model
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Incremental verification for on-the-fly controller synthesis
- High-confidence control: Ensuring reliability in high-performance real-time systems
- Verification of continuous dynamical systems by timed automata
- Formal verification of discrete real-time systems
- Integrated environment for designing real-time control algorithms
- A menagerie of timed automata
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Kronos: A verification tool for real-time systems
Uses Software
This page was built for publication: Verification, performance analysis and controller synthesis for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400913)
