Technical Rationale

• Project Concept
  • ``Formal'' vs. ``Semi-formal'' Design Methods and Tools
  • Methods and Tools guided by Target Applications
• Current Methods and Tools and their Limitations
  • Hybrid Control System Modeling Tools: Continuous + Discrete + Concurrency
  • Hybrid Control System Synthesis and Design Tools
  • Hybrid Control System Verification Tools
  • Architectures for Decentralized Control Systems
• 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
• Research Projects B: Semi-formal Methods and Tools for Control System Decomposition and Integration
  • Architectures for Multi-Agent Control Systems
  • Analysis Tools for Control Software
  • Simulation Tools for Integrated Control Systems