ABOUT

- Formal-language-theoretic Control & Coordination of autonomous agents with the purpose of automated planning and execution of complex missions

- Optimal decision making in complex autonomous/semi-autonomous systems operating in uncertain or unmodeled environments

- Modeling high level operational intelligence for failure detection and mitigation in complex human engineered systems as supervised formal languages on finite alphabets

- Robust decision making in autonomous systems under incomplete and intermittent information

- C4ISR with focus on UGV-UAV coordination

- Very large scale cooperation

- Engineering a rigorous control paradigm for swarms focusing on control of emergent behaviors in large autonomous system of systems

 

Sponsors

 
Placeholder image
Placeholder image
Placeholder image
Placeholder image