4693 search results - page 411 / 939 » Verifying Hybrid Systems |
192
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
192
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
175
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we present a feedback control law to make an autonomous vehicle with rigidly mounted range sensors track a desired curve. In particular, we consider a vehicle wh...
185
click to vote
CEEMAS
2003
Springer
16 years 2 days ago
2003
Springer
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...