14360 search results - page 23 / 2872 » Time Modeling in MARTE |
IPPS
1998
IEEE
14 years 28 days ago
1998
IEEE
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
AUTOMATICA
2008
13 years 8 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...
ASPDAC
2012
ACM
12 years 4 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...