134 search results - page 8 / 27 » Deriving Safety Requirements Using Scenarios |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
AUTOMATICA
2007
13 years 7 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
COMPUTER
2000
13 years 7 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...