4693 search results - page 370 / 939 » Verifying Hybrid Systems |
155
click to vote
FCSC
2008
15 years 6 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
142
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
180
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
153
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A wide number of mobile multi-robot systems makes use of behavior-based approaches to accomplish their missions. However, despite the advantages in term of flexibility and ver...
168
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...