50 search results - page 2 / 10 » Component-Based Abstraction Refinement for Timed Controller ... |
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
FORMATS
2010
Springer
13 years 3 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
STACS
1995
Springer
13 years 8 months ago
1995
Springer
SIES
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...