4693 search results - page 305 / 939 » Verifying Hybrid Systems |
216
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Data in many industrial application systems are often neither completely structured nor unstructured. Consequently semi-structured data models such as XML have become pop...
160
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper reports an overview of the navigation and control system design for the new Nereus hybrid underwater robotic vehicle (HROV). Vehicle performance during its first se...
172
Voted
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Though fingerprint identification is widely used now, its imperfect performance for some high security applications, such as ATM, the access control of nuclear power stations and ...
145
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
158
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents new results on switching control using neural networks. Given a set of candidate controllers, a pair of neural networks is trained to identify the stability reg...