157 search results - page 12 / 32 » Compositional Control Synthesis for Partially Observable Sys... |
147
click to vote
TVLSI
2008
15 years 4 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
181
click to vote
ASWSD
2006
Springer
15 years 8 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
107
Voted
NIME
2004
Springer
15 years 10 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
162
click to vote
DIAGRAMS
2006
Springer
15 years 8 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
148
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...