Next:
Modeling Tools for Multi-modal
Up:
Technical Rationale
Previous:
Architectures for Decentralized Control
Research Projects A: Formal Methods and Tools for Multi-modal Control Law Design and Implementation
Modeling Tools for Multi-modal Control Software
Synthesis and Design Tools for Multi-modal Control Software
Verification Tools for Multi-modal Control Software
S Sastry
Sun Aug 9 11:27:47 PDT 1998
