1980 search results - page 256 / 396 » Compositional Model Checking of Real Time Systems |
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
139
Voted
RSP
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
115
Voted
ISMAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Marker-based optical tracking systems are widely used in augmented reality, medical navigation and industrial applications. We propose a model for the prediction of the target reg...
111
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
160
Voted
SDM
2012
SIAM
13 years 5 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...