3 search results - page 1 / 1 » Incremental Verification for On-the-Fly Controller Synthesis |
ENTCS
2006
14 years 10 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
ECAI
2008
Springer
15 years 23 hour 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...
115
click to vote
DEDS
2000
14 years 10 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...