352 search results - page 35 / 71 » Extended Timed Automata and Time Petri Nets |
126
click to vote
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
119
click to vote
IFM
2007
Springer
15 years 8 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...
110
click to vote
ICRA
2007
IEEE
15 years 8 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...
124
click to vote
IANDC
2007
15 years 1 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...