1655 search results - page 138 / 331 » State, Event, Time and Diagram in System Modeling |
191
click to vote
ICALP
1997
Springer
15 years 10 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...
149
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
143
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...
153
click to vote
CN
2006
15 years 6 months ago
2006
Though Connection Admission Control (CAC) in wireless networks has been studied extensively, the heterogeneous structure of Next Generation Wireless Systems (NGWS) makes CAC very ...
170
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...