Claire Tomlin

2007
19	EE	Kaushik Roy, Claire Tomlin: A New Hybrid State Estimator for Systems with Limited Mode Changes. HSCC 2007: 487-500
18	EE	Anil Aswani, Claire Tomlin: Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. HSCC 2007: 633-636
2005
17	EE	Robin L. Raffard, Jianghai Hu, Claire Tomlin: Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. HSCC 2005: 557-572
2004
16	EE	Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin: Inference Methods for Autonomous Stochastic Linear Hybrid Systems. HSCC 2004: 64-79
15	EE	Alexandre M. Bayen, Robin L. Raffard, Claire Tomlin: Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. HSCC 2004: 95-110
2003
14	EE	Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248
13	EE	Ian M. Mitchell, Claire Tomlin: Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19(1-3): 323-346 (2003)
12		Claire Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi: Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91(7): 986-1001 (2003)
2002
11		Claire Tomlin, Mark R. Greenstreet: Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings Springer 2002
10	EE	Alexandre M. Bayen, Eva Crück, Claire Tomlin: Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. HSCC 2002: 90-104
9	EE	Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin: Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC 2002: 715-724
2001
8	EE	Ronojoy Ghosh, Claire Tomlin: Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. HSCC 2001: 232-246
7	EE	Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole: Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC 2001: 459-472
2000
6	EE	Ian Mitchell, Claire Tomlin: Level Set Methods for Computation in Hybrid Systems. HSCC 2000: 310-323
1999
5	EE	Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
1998
4		Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373
1997
3		John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123
2	EE	Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire Tomlin: SmartATMS: A Simulator for Air Traffic Management Systems. Winter Simulation Conference 1997: 1199-1205
1996
1		Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404

Coauthor Index

1	Anil Aswani	[18]
2	Hamsa Balakrishnan	[9] [16]
3	Alexandre M. Bayen	[10] [12] [15]
4	Eva Crück	[10]
5	Ronojoy Ghosh	[8] [9] [14]
6	Datta N. Godbole	[1] [7]
7	Vipin Gopal	[7]
8	Mark R. Greenstreet	[11]
9	Jianghai Hu	[17]
10	Inseok Hwang	[9] [16]
11	Jung Soon Jang	[16]
12	Tak-Kuen John Koo	[2]
13	John Lygeros	[1] [3] [4] [5]
14	Yi Ma	[2]
15	Ian M. Mitchell (Ian Mitchell)	[6] [12] [13]
16	Meeko Oishi	[7] [12]
17	George J. Pappas	[1] [2]
18	Robin L. Raffard	[15] [17]
19	Kaushik Roy	[19]
20	Shankar Sastry	[1] [3] [4] [5]
21	Ashish Tiwari	[14]

Colors in the list of coauthors