663 search results - page 93 / 133 » Synthesis of Self-Testable Controllers |
130
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
121
click to vote
CMMR
2005
Springer
15 years 7 months ago
2005
Springer
A simple to use pointer interface in 2D for producing music is presented as a means for real-time playing and sound generation. The music is produced by simple gestures that are re...
164
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
115
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
120
click to vote
AI50
2006
15 years 5 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...