LCS Publication Details
Publication Title: Application of Hybrid I/O Automata in Safety Verification of Pitch Controller for Model Heliocopter System
Publication Author: Mitra, Sayan
Additional Authors: Yong Wang, Nancy Lynch, Eric Feron
LCS Document Number: MIT-LCS-TR-880
Publication Date: 1-14-2003
LCS Group: Theory of Computation
Additional URL:
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.