35 search results - page 1 / 7 » Automating Verification of Cooperation, Control, and Design ... |
BIRTHDAY
2007
Springer
15 years 1 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...
60
Voted
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
ECCE
2007
14 years 11 months ago
2007
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
78
Voted
EWCBR
2004
Springer
15 years 2 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...