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

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


== Publications ==
== Publications ==
'''2011-12'''
 
* [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. Submitted, 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)
* [http://www.cds.caltech.edu/~murray/papers/2012r_han+13-acc.html Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids], Shuo Han, Ufuk Topcu, Molei Tao, Houman Owhadi, Richard M. Murray. Submitted, 2013 American Control Conference (ACC)
 
* [http://www.cds.caltech.edu/~murray/papers/2012o_lm13-icra.html Just-in-time synthesis for motion planning with temporal logic], Scott C. Livingston and Richard M. Murray. Submitted, 2013 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012o_lm13-icra.html Just-in-time synthesis for motion planning with temporal logic], Scott C. Livingston and Richard M. Murray. 2013 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012n_wtm13-icra.html Efficient reactive controller synthesis for a fragment of linear temporal logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Submitted, 2013 International Conference on Robotics and Automation (ICRA)
 
* [http://www.cds.caltech.edu/~murray/papers/2012m_lpjm13-icra.html Patching task-level robot controllers based on a local μ-calculus formula], Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray. Submitted, 2013 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012n_wtm13-icra.html Efficient reactive controller synthesis for a fragment of linear temporal logic], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. 2013 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012k_tmmk13-icra.html Robot Navigation in Dense Human Crowds: the Case for Cooperation], Pete Trautman, Jeremy Ma, Richard M. Murray and Andreas Krause. Submitted, 2013 International Conference on Robotics and Automation
 
* [http://www.cds.caltech.edu/~murray/papers/2012m_lpjm13-icra.html Patching task-level robot controllers based on a local μ-calculus formula], Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray. 2013 International Conference on Robotics and Automation (ICRA)
 
* [http://www.cds.caltech.edu/~murray/papers/2012k_tmmk13-icra.html Robot Navigation in Dense Human Crowds: the Case for Cooperation], Pete Trautman, Jeremy Ma, Richard M. Murray and Andreas Krause. 2013 International Conference on Robotics and Automation
 
* [http://www.cds.caltech.edu/~murray/papers/2012j_lotm12-tac.html Synthesis of Reactive Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Submitted, IEEE T. Automatic Control
* [http://www.cds.caltech.edu/~murray/papers/2012j_lotm12-tac.html Synthesis of Reactive Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Submitted, IEEE T. Automatic Control
* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2012c_ltom12-cdc.html Synthesis of Reactive Control Protocols for Differentially Flat Systems], Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2012c_ltom12-cdc.html Synthesis of Reactive Control Protocols for Differentially Flat Systems], Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2012b_cltbm12-icra.html Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation], Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray. 2012 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012b_cltbm12-icra.html Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation], Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray. 2012 International Conference on Robotics and Automation (ICRA)
* [http://www.cds.caltech.edu/~murray/papers/2012f_wtm12-cdc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2012f_wtm12-cdc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu and Richard M. Murray. 2012 Conference on Decision and Control (CDC)
* [http://www.cds.caltech.edu/~murray/papers/2011q_tolm12-hscc.html On Synthesizing Robust Discrete Controllers under Modeling Uncertainty], Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray. 2012 International Conf on Hybrid Systems: Computation and Control (HSCC)
* [http://www.cds.caltech.edu/~murray/papers/2011q_tolm12-hscc.html On Synthesizing Robust Discrete Controllers under Modeling Uncertainty], Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray. 2012 International Conf on Hybrid Systems: Computation and Control (HSCC)
* [http://www.cds.caltech.edu/~murray/papers/2011p_lotm12-acc.html Synthesis of Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2012 American Control Conference.
* [http://www.cds.caltech.edu/~murray/papers/2011p_lotm12-acc.html Synthesis of Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2012 American Control Conference.
* [http://www.cds.caltech.edu/~murray/papers/2011o_notm12-acc.html Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing], Petter Nilsson, Necmiye Özay, Ufuk Topcu and Richard M. Murray.  2012 American Control Conference (ACC).
* [http://www.cds.caltech.edu/~murray/papers/2011o_notm12-acc.html Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing], Petter Nilsson, Necmiye Özay, Ufuk Topcu and Richard M. Murray.  2012 American Control Conference (ACC).
* [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).


== 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 01:44, 5 May 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