Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
Line 3: Line 3:
| width=40% | Current participants:
| width=40% | Current participants:
* Scott Livingston (CDS PhD student)
* Scott Livingston (CDS PhD student)
* {{Ufuk Topcu}}
* Stephanie Tsuei (CDS MS student)
* Clemens Wilsche* (visiting student, ETHZ)
* Clemens Wilsche* (visiting student, ETHZ)
* Eric Wolff* (CDS PhD student)
* Eric Wolff* (CDS PhD student)
Line 9: Line 9:
<small><nowiki>* External funding</nowiki></small>
<small><nowiki>* External funding</nowiki></small>
| width=40% | Past participants:
| width=40% | Past participants:
* {{Ufuk Topcu}}
* {{Pete Trautman}}
* {{Pete Trautman}}
|  
|  

Revision as of 15:46, 16 October 2012

Current participants:
  • Scott Livingston (CDS PhD student)
  • Stephanie Tsuei (CDS MS student)
  • Clemens Wilsche* (visiting student, ETHZ)
  • Eric Wolff* (CDS PhD student)

* External funding

Past participants:

Objectives

We are developing theory and algorithms for model-based verification and synthesis of control protocols. This includes development of specifications for desired system behavior and methods for synthesizing control protocols to achieve the specification. Target areas that we are currently exploring include:

  • Protocols for real-time, multi-agent, airborne communication networks, including air-to-air, air-to-ground and satellite-based communications
  • Vehicle management systems, including embedded control protocols individual and integrated subsystems
  • Decision-making, resource allocation and fault handling in unmanned, autonomous vehicles and mission systems
  • Aircraft electric power distribution systems.

Publications

2011-12

Software

  • TuLiP - Temporal Logic Planning Toolbox