Caltech/AFRL, Spring 2012: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with '<table width="100%" cellspacing=0> <tr valign=top> <td rowspan=4 align=center> 90px</td> <td align=center><font color='blue' size='+2'>Specification, Desig…') |
No edit summary |
||
| Line 1: | Line 1: | ||
<table width="100%" cellspacing=0> | <table width="100%" cellspacing=0> | ||
<tr valign=top> | <tr valign=top> | ||
<td rowspan=4 align=center> [[Image: | <td rowspan=4 align=center> [[Image:cdslogo.png|90px]]</td> | ||
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification <br> </font></td> | <td align=center><font color='blue' size='+2'>Specification, Design, and Verification <br> </font></td> | ||
<td rowspan=4 align=center"> [[Image: | <td rowspan=4 align=center"> [[Image:afrllogo.png|90px]]</td></tr> | ||
<tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> </font></td></tr> | <tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> </font></td></tr> | ||
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Ufuk Topcu </p></font></td></tr> | <tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Ufuk Topcu </p></font></td></tr> | ||
<tr valign=top><td align=center><font color='blue' size='+0'><p>24-26 April 2012</p></font></td></tr> | <tr valign=top><td align=center><font color='blue' size='+0'><p>24-26 April 2012</p></font></td></tr> | ||
</table> | </table>__NOTOC__ | ||
== Course Description == | == Course Description == | ||
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying networked control systems. We combine methods from computer science (temporal logic, model checking, synthesis of control protocols) with those from dynamical systems and control (Lyapunov functions, trajectory generation, receding horizon control) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox (TuLiP) that is designed for analyzing and synthesizing hybrid control systems using linear temporal logic and robust performance specifications. | Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying networked control systems. We combine methods from computer science (temporal logic, model checking, synthesis of control protocols) with those from dynamical systems and control (Lyapunov functions, trajectory generation, receding horizon control) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox (TuLiP) that is designed for analyzing and synthesizing hybrid control systems using linear temporal logic and robust performance specifications. | ||
== Course information == | == Course information == | ||
Revision as of 15:44, 1 April 2012
 |
Specification, Design, and Verification |
File:Afrllogo.png |
| of Networked Control Systems | ||
Richard M. Murray and Ufuk Topcu | ||
24-26 April 2012 |
Course Description
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying networked control systems. We combine methods from computer science (temporal logic, model checking, synthesis of control protocols) with those from dynamical systems and control (Lyapunov functions, trajectory generation, receding horizon control) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox (TuLiP) that is designed for analyzing and synthesizing hybrid control systems using linear temporal logic and robust performance specifications.
Course information
- Instructors: Richard M. Murray (Caltech, CDS) and Ufuk Topcu (Caltech, CDS)
- Date and location: 24-26 April 2012, Dayton, OH
- Sponsors: Air Force Research Laboratory (AFRL), Multi-Scale Systems Center (MuSyC), Boeing Corporation, United Technologies Corporation
Lecture Schedule
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.
| Lec | Date/time | Title | Reaching |
| Tue, 8:30 | Registration | ||
| 1 | Tue, 9:00 | Introduction: Protocol-Based Control Systems | |
| 2 | Tue, 10:30 | Automata Theory | |
| 3 | Tue, 13:30 | Temporal Logic | |
| 4 | Tue, 15:30 | Model Checking and Logic Synthesis | |
| 5 | Wed, 9:00 | Lab Session: Spin | |
| 6 | Wed, 10:30 | Verification of Control Protocols | |
| 7 | Wed, 13:30 | Hybrid Systems Verification | |
| 8 | Thu, 15:30 | Synthesis of Reactive Control Protocols | |
| 9 | Thu, 16:00 | Receding Horizon Temporal Logic Planning | |
| 10 | Fri, 9:00 | Lab Session: TuLiP | |
| 11 | Fri, 13:30 | Extensions, Applications, Open Questions | |
| Fri, 3:00 | Adjourn |
