2136 search results - page 71 / 428 » Learning Behavior Models for Hybrid Timed Systems |
121
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
126
Voted
AAAI
1994
15 years 1 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
90
Voted
HYBRID
2007
Springer
15 years 6 months 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...
103
Voted
IJSEKE
2007
15 years 16 days ago
2007
The Chronobot/Virtual Classroom (CVC) system is a novel time knowledge exchange platform where any pair of users can exchange their time and knowledge. User profile that contains ...
104
Voted
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...