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

From Murray Wiki
Jump to navigationJump to search
Line 69: Line 69:

[[Category:Active projects]]
[[Category:Active projects]]
{{#set: agency = Boeing | start date = 1 Jan 2012 | end date = 1 Jun 2016 }}
{{#set: agency=Boeing | start date=1 Jan 2012 | end date=1 Jun 2016 }}

== Software ==
== Software ==
* [http://sourceforge.net/apps/mediawiki/tulip-control/index.php?title=Main_Page TuLiP] - Temporal Logic Planning Toolbox
* [http://sourceforge.net/apps/mediawiki/tulip-control/index.php?title=Main_Page TuLiP] - Temporal Logic Planning Toolbox

Revision as of 02:50, 26 November 2015

Current participants:
  • Stephanie Tsuei (CDS MS student)
  • Eric Wolff* (CDS PhD student)

* External funding

Past participants:
  • Scott Livingston (CDS PhD student)
  • Ufuk Topcu (Postdoc, CDS)
  • Pete Trautman (PhD student, CDS)
  • Clemens Wilsche* (visiting student, ETHZ)


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.



  • TuLiP - Temporal Logic Planning Toolbox