1246 search results - page 39 / 250 » Recursive Timed Automata |
110
click to vote
IFM
2007
Springer
15 years 6 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
106
Voted
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
102
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
88
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...