7778 search results - page 4 / 1556 » Designing Controllers for Reachability |
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
SCL
2010
13 years 2 months ago
2010
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
DAC
1998
ACM
13 years 11 months ago
1998
ACM
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
DATE
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper presents a testability analysis and improvement technique for the controller of an RT level design. It detects hard-to-reachstates by analyzing both the data path and t...