Optimal enforcement of (timed) properties with uncontrollable events

DOI10.1017/S0960129517000123zbMath1407.68299OpenAlexW2288075641MaRDI QIDQ4559604

Matthieu Renard, Thierry Jéron, Antoine Rollet, Yliès Falcone, Hervé Marchand

Publication date: 4 December 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129517000123

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Runtime enforcement of hyperproperties ⋮ Runtime enforcement of timed properties using games

Uses Software

• LARVA

Cites Work

• Runtime enforcement of timed properties revisited
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• A brief account of runtime verification
• Enforcement of (Timed) Properties with Uncontrollable Events
• Safe Runtime Verification of Real-Time Properties
• Supervisory Control of a Class of Discrete Event Processes

This page was built for publication: Optimal enforcement of (timed) properties with uncontrollable events