Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD .

Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau

Browse the full RTCSA paper archive.