14360 search results - page 23 / 2872 » Time Modeling in MARTE |
116
click to vote
AUTOMATICA
2008
15 years 4 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...
136
click to vote
ASPDAC
2012
ACM
14 years 5 days 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...
133
click to vote
FSTTCS
2005
Springer
15 years 10 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...