P
UBLICATIONS
R
EFEREED
J
OURNAL
P
UBLICATIONS
Safety Verification of Conflict Resolution Maneuvers
Claire Tomlin, Ian Mitchell, and Ronojoy Ghosh.
IEEE Transactions on Intelligent Transportation Systems, Volume 2, Number 2, June 2001.
Joint Optimization of Communication Rates and Linear Systems
L. Xiao, M. Johansson, H. Hindi, S. Boyd and A. Goldsmith.
IEEE Trans. Aut. Control, 2001. Submitted.
Trace and Log-Determinant Heuristics for Rank Minimization
M. Fazel, H. Hindi and S. Boyd.
IEEE Trans. Aut. Control, 2001. To be submitted.
A Game Theoretic Approach to Controller Design for Hybrid Systems
Claire Tomlin, John Lygeros, and Shankar Sastry.
Proceedings of the IEEE, July 2000.
R
EFEREED
C
ONFERENCE AND
W
ORKSHOP
P
UBLICATIONS
A construction procedure using characteristics for viscosity solutions of the Hamilton-Jacobi equation
Alexandre Bayen and Claire J. Tomlin
In the Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, December 2001.
Provably Safe Evasive Maneuvers against Blunders in Closely Spaced Parallel Approaches
Rodney Teo and Claire J. Tomlin
In the Proceedings of the AIAA Guidance, Navigation, and Control Conference, Montreal, August 2001.
Autopilot Design for the Stanford DragonFly UAV: Validation through Hardware-in-the-Loop Simulation
Jung Soon Jang and Claire J. Tomlin
In the Proceedings of the AIAA Guidance, Navigation, and Control Conference, Montreal, August 2001.
Synthesis of Linear Ranking Functions
Michael Colon and Henny Sipma.
7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2001.
A Rank Minimization Heuristic with Applications to Minimum Order System Approximation
M. Fazel, H. Hindi and S. Boyd.
Proceedings of the American Control Conference, June 2001.
Nonlinear Inverse Dynamic Control for Mode-based Flight
Ronojoy Ghosh and Claire Tomlin.
Proceedings of the AIAA Guidance, Navigation and Control Conference, August 2000.
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
Ian Mitchell, Alexandre Bayen, and Claire Tomlin
©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in
Volume 2034
of the
LNCS series
.
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
Meeko Oishi, Claire Tomlin, Vipin Gopal, and Datta Godole
©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in
Volume 2034
of the
LNCS series
.
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
Ronojoy Ghosh and Claire Tomlin
©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in
Volume 2034
of the
LNCS series
.
Ellipsoidal Approximation of Reachable Sets for Linear Games
Norihiko Shishido and Claire Tomlin
In the Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, December 2000.
Computing Provably Safe Aircraft to Aircraft Spacing for Closely Spaced Parallel Approaches
Rodney Teo and Claire Tomlin
In the Proceedings of the Digital Avionics Systems Conference (DASC00), Philadelphia, October 2000.
Maneuver Design for Multiple Aircraft Conflict Resolution
Ronojoy Ghosh and Claire Tomlin.
Proceedings of the American Control Conference, June 2000.
Switching in Nonminimum Phase Nonlinear Systems: Applications to a VSTOL Aircraft
Meeko Oishi and Claire Tomlin.
Proceedings of the American Control Conference, June 2000.
Level Set Methods for Computation in Hybrid Systems
Ian Mitchell and Claire Tomlin.
Proceedings of Hybrid Systems: Computation and Control, LNCS 1790, March 2000.
Switched Nonlinear Control of a VSTOL Aircraft
Meeko Oishi and Claire Tomlin.
Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, December 1999.