|
Study Group
This is the web page for a weekly study group. We will read papers related to the control and verification of hybrid and dynamic systems. We meet Fridays from 4 to 6 in 337 Cory Hall.
Paper-Reading Schedule
| Date | Paper |
|---|
| August 27, 2004 | van der Schaft, Arjan
Bisimulation of Dynamical Systems |
| August 20, 2004 | Talbuada, Paulo and George Pappas
Linear Temporal Logic Control of Linear Systems |
| August 6, 2004 | Henzinger, Thomas, Peter Kopke, Anuj Puri, and Pravin Varaiya
What's Decidable About Hybrid Automata? |
| July 30, 2004 | Kurzhanski, Alexander and Pravin Varaiya
On Ellipsoidal Techniques for Reachability Analysis
Part 1. External Approximations
Part 2. Internal Approximations, Box-Valued Constraints
| | July 23, 2004 | Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry
Real-Time Landing Safety Analysis Through Backward Reachable Sets (PowerPoint PDF)
| | July 16, 2004 | Chutinan, Alongkrit and Bruce Krogh
Verification of Infinite-State Dynamic Systems Using Approximate Quotient Transition Systems
| | July 9, 2004 | Branicky, Michael, Vivek, Vivek Borkar, and Sanjoy Mitter
A Unified Framework for Hybrid Control:
Model and Optimal Control Theory |
| June 25, 2004 | Kurzhanski, Alexander and Pravin Varaiya
On Reachability Under Uncertainty
| | June 18, 2004 | Tomlin, Claire, Ian Mitchell, Alexandre Bayen, and Meeko Oishi
Computational Techniques for the Verification of Hybrid Systems |
| June 11, 2004 | Leitmann, George and Jan Skowronski
Avoidance Control |
| June 4, 2004 | Aubin, Jean-Pierre
Viability Kernals and Capture Basins
(Chapter 1. Evolutionary Systems: The Main Concepts) |
Future Papers
Henzinger, Thomas
The Theory of Hybrid Automata Henzinger, Thomas, Peter Kopke, Anuj Puri, and Pravin Varaiya
What's Decidable About Hybrid Automata? Henzinger, Thomas, Pei-Hsin Ho, and Howard Wong-Toi
Algorithmic Analysis of Nonlinear Hybrid Systems Stursburg, Olaf and Bruce Krogh
Efficient Representation and Computation of Reachable Sets Silva, Izaias and Bruce Krogh
Modelling and Verification of Sampled-Data Hybrid Systems Tomlin, Claire, John Lygeros, and Shankar Sastry
A Game-Theoretic Approach to Controller Design for Hybrid Systems Kerrigan, Eric, John Lygeros, and Jan Maciejowski
A Geometric Approach to Computations for Constrained Discrete-Time Systems Lee, Edward and Pravin Varaiya
Structure and Interpretation of Signals and Systems
(Chapter 6. Hybrid Systems)
Mailing lists and discussion forums may be found under the studygroup link above.
To modify this page, use CVS.
|
