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

From MurrayWiki
Jump to: navigation, search
(Publications)
(Publications)
Line 26: Line 26:
 
== Publications ==
 
== Publications ==
  
* [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.  To appear, 2013 International Conference on Intelligent Robots and Systems (IROS).
+
* [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], F. Sun, N. Ozay, E. M. Wolff, J. Liu, and R. M. Murray. Submitted, 2014 American Control Conference (ACC).
 +
 
 +
* [http://www.cds.caltech.edu/~murray/papers/2013j_hwm14-acc.html A compositional approach to stochastic optimal control with temporal logic specifications], M. Horowitz, E. M. Wolff, and R. M. Murray. Submitted, 2014 American Control Conference (ACC).
 +
 
 +
*[http://www.cds.caltech.edu/~murray/papers/2013g_wtm14-icra.html Optimization-based control of nonlinear systems with linear temporal logic specifications], E. M. Wolff, U. Topcu, and R. M. Murray. Submitted, 2014 International Conference on Robotics and Automation (ICRA).
 +
 
 +
* [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/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).

Revision as of 20:39, 5 December 2013

Current participants:
  • Scott Livingston (CDS PhD student)
  • Stephanie Tsuei (CDS MS student)
  • 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

Software

  • TuLiP - Temporal Logic Planning Toolbox