8190 search results - page 96 / 1638 » From Timed to Hybrid Systems |
173
click to vote
SEUS
2007
IEEE
16 years 4 days ago
2007
IEEE
The hardware infrastructure that provides the support of ubiquitous embedded computing may be shared by different applications. Many of those applications have real-time requireme...
146
click to vote
HYBRID
2007
Springer
16 years 20 hour ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
139
click to vote
CDC
2010
IEEE
15 years 11 days ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
157
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
147
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...