458 search results - page 5 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
103
Voted
ENTCS
2006
14 years 11 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
WSC
2000
15 years 29 days ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
92
Voted
TOPNOC
2008
14 years 11 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
92
Voted
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
76
Voted
ANSOFT
1999
14 years 11 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...