Sign in
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact).
Tim Rheinfels
Maximilian Gaukler
Peter Ulbrich
Published in:
Dagstuhl Artifacts Ser. (2023)
Keyphrases
</>
real time
control system
state abstraction
constraint satisfaction