5690 search results - page 114 / 1138 » A Position Control System Design |
138
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
126
click to vote
OMER
2001
15 years 4 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
100
click to vote
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
We propose MarkerMouse, an inexpensive method for controlling the mouse cursor using a web cam and a marker placed on the user’s forehead. Two modes of cursor control were compar...
116
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
141
click to vote
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...