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

From Murray Wiki
Jump to navigationJump to search
 
(15 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{| width=100%
{| width=100%
|- valign=top
|- valign=top
| width=40% | Current participants:
|  
* Scott Livingston (CDS PhD student)
Participants:
{{project current participants}}{{project past participants}}
* Stephanie Tsuei (CDS MS student)
* Stephanie Tsuei (CDS MS student)
* Eric Wolff* (CDS PhD student)
* Eric Wolff* (CDS PhD student)
 
* Scott Livingston (CDS PhD student)
<small><nowiki>* External funding</nowiki></small>
| width=40% | Past participants:
* {{Ufuk Topcu}}
* {{Ufuk Topcu}}
* {{Pete Trautman}}
* {{Pete Trautman}}
Line 25: Line 24:


== Publications ==
== Publications ==
{{project paper list}}
* [http://www.cds.caltech.edu/~murray/papers/2013j_sun+14-acc.html Efficient control synthesis for augmented finite transition systems with an application to switching protocols], Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, and Richard M. Murray. Submitted, 2014 American Control Conference (ACC).


* [http://www.cds.caltech.edu/~murray/papers/2013h_wtm13-iros.html Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Submitted, 2013 International Conference on Intelligent Robots and Systems (IROS).
* [http://www.cds.caltech.edu/~murray/papers/2013j_hwm14-acc.html A compositional approach to stochastic optimal control with temporal logic specifications], Matanya Horowitz, Eric M. Wolff, and Richard M. Murray. Submitted, 2014 American Control Conference (ACC).


* [http://www.cds.caltech.edu/~murray/papers/2013e_wtm13-cdc.html Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray.  Submitted, 2013 Conference on Decison and Control (CDC).
* [http://www.cds.caltech.edu/~murray/papers/2013g_lm14-icra.html Moving bounding boxes and incremental synthesis for dynamic obstacles], Scott C. Livingston, Richard M. Murray. Submitted, 2014 International Conference on Robotics and Automation (ICRA).
 
*[http://www.cds.caltech.edu/~murray/papers/2013g_wtm14-icra.html Optimization-based control of nonlinear systems with linear temporal logic specifications], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Submitted, 2014 International Conference on Robotics and Automation (ICRA).
 
* [http://www.cds.caltech.edu/~murray/papers/2013d_wm13-isrr.html Optimal control of nonlinear systems with temporal logic specifications], Eric M. Wolff and Richard M. Murray. To appear, 2013 International Symposium on Robotics Research (ISRR).
 
* [http://www.cds.caltech.edu/~murray/papers/2013h_wtm13-iros.html Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray.  2013 International Conference on Intelligent Robots and Systems (IROS).
 
* [http://www.cds.caltech.edu/~murray/papers/2013e_wtm13-cdc.html Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray.  To appear, 2013 Conference on Decison and Control (CDC).


* [http://www.cds.caltech.edu/~murray/papers/2012s_olpm13-acc.html Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems], Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray. 2013 American Control Conference (ACC)
* [http://www.cds.caltech.edu/~murray/papers/2012s_olpm13-acc.html Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems], Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray. 2013 American Control Conference (ACC)
Line 57: Line 66:


* [http://www.cds.caltech.edu/~murray/papers/2011h_lmb12-icra.html Backtracking temporal logic synthesis for uncertain environments], Scott Livingston, Richard M. Murray and Joel W. Burdick.  2012 International Conference on Robotics and Automation (ICRA).
* [http://www.cds.caltech.edu/~murray/papers/2011h_lmb12-icra.html Backtracking temporal logic synthesis for uncertain environments], Scott Livingston, Richard M. Murray and Joel W. Burdick.  2012 International Conference on Robotics and Automation (ICRA).
[[Category:Completed projects]]
{{#set: agency=Boeing | start date=1 Jan 2012 | end date=1 Jun 2016 }}
{{#set: ID=Boeing}}


== 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

Latest revision as of 15:08, 19 June 2016

Participants:

  • Ivan Papusha (Alumni, CDS)
  • Stephanie Tsuei (CDS MS student)
  • Eric Wolff* (CDS PhD student)
  • Scott Livingston (CDS PhD student)
  • Ufuk Topcu (Postdoc, CDS)
  • Pete Trautman (PhD student, CDS)
  • Clemens Wilsche* (visiting student, ETHZ)

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


Software

  • TuLiP - Temporal Logic Planning Toolbox