1105 search results - page 102 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
157
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
143
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
99
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
127
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
159
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...