6308 search results - page 8 / 1262 » Modeling Urgency in Timed Systems |
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
AUTOMATICA
2008
13 years 7 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
FORMATS
2005
Springer
14 years 27 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...