Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Claire J. Tomlin
Claire Tomlin
2010 – today
- 2013
[j23]Anil Aswani, Humberto González, S. Shankar Sastry, Claire Tomlin: Provably safe and robust learning-based model predictive control. Automatica 49(5): 1216-1226 (2013)- [c61]Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin: One-shot computation of reachable sets for differential games. HSCC 2013: 183-192
- 2012
- [j22]Maryam Kamgarpour, Claire Tomlin: On optimal control of non-autonomous switched systems with a fixed mode sequence. Automatica 48(6): 1177-1181 (2012)
- [j21]Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin: On efficient sensor scheduling for linear dynamical systems. Automatica 48(10): 2482-2493 (2012)
- [j20]Young Hwan Chang, Joe W. Gray, Claire Tomlin: Optimization-based Inference for Temporally Evolving Networks with Applications in Biology. Journal of Computational Biology 19(12): 1307-1323 (2012)
- [j19]Wei Zhang, Maryam Kamgarpour, Dengfeng Sun, Claire J. Tomlin: A Hierarchical Flight Planning Framework for Air Traffic Management. Proceedings of the IEEE 100(1): 179-194 (2012)
- [j18]Anil Aswani, Neal Master, Jay Taneja, David E. Culler, Claire Tomlin: Reducing Transient and Steady State Electricity Consumption in HVAC Using Learning-Based Model-Predictive Control. Proceedings of the IEEE 100(1): 240-253 (2012)
- [j17]Alessandro Abate, Stéphane Vincent, Roel Dobbe, Alberto Silletti, Neal Master, Jeffrey D. Axelrod, Claire J. Tomlin: A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 9(6): 1607-1620 (2012)
- [c60]Young Hwan Chang, Claire Tomlin: Data-driven graph reconstruction using compressive sensing. CDC 2012: 1035-1040
- [c59]Manuel Soler, Maryam Kamgarpour, Claire Tomlin, Ernesto Staffetti: Multiphase mixed-integer optimal control framework for aircraft conflict avoidance. CDC 2012: 1740-1745
- [c58]Michael P. Vitus, Claire J. Tomlin: A hybrid method for chance constrained control in uncertain environments. CDC 2012: 2177-2182
- [c57]Zhengyuan Zhou, Ryo Takei, Haomiao Huang, Claire J. Tomlin: A general, open-loop formulation for reach-avoid games. CDC 2012: 6501-6506
- [c56]Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire Tomlin: Verification and control of hybrid systems using reachability analysis with machine learning. HSCC 2012: 1-2
- [c55]Pangun Park, Claire Tomlin: Investigating Communication Infrastructure of Next Generation Air Traffic Management. ICCPS 2012: 35-44
- [c54]Patrick Bouffard, Anil Aswani, Claire Tomlin: Learning-based model predictive control on a quadrotor: Onboard implementation and experimental results. ICRA 2012: 279-284
- [c53]Ryo Takei, Haomiao Huang, Jerry Ding, Claire J. Tomlin: Time-optimal multi-stage motion planning with guaranteed collision avoidance via an open-loop game formulation. ICRA 2012: 323-329
- [c52]Jeremy H. Gillula, Claire J. Tomlin: Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor. ICRA 2012: 2723-2730
- [c51]Michael P. Vitus, Wei Zhang, Claire J. Tomlin: A hierarchical method for stochastic motion planning in uncertain environments. IROS 2012: 2263-2268
- [c50]Jeremy H. Gillula, Claire J. Tomlin: Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning. Robotics: Science and Systems 2012
- [c49]Anil Aswani, Neal Master, Jay Taneja, Andrew Krioukov, David E. Culler, Claire Tomlin: Quantitative methods for comparing different HVAC control schemes. VALUETOOLS 2012: 326-332
- [i5]Anil Aswani, Neal Master, Jay Taneja, Andrew Krioukov, David E. Culler, Claire Tomlin: Energy-Efficient Building HVAC Control Using Hybrid System LBMPC. CoRR abs/1204.4717 (2012)
- [i4]Anil Aswani, Neal Master, Jay Taneja, Andrew Krioukov, David E. Culler, Claire Tomlin: Quantitative Methods for Comparing Different HVAC Control Schemes. CoRR abs/1205.6114 (2012)
- [i3]Anil Aswani, Claire Tomlin: Incentive Design for Efficient Building Quality of Service. CoRR abs/1207.2515 (2012)
- [i2]Anil Aswani, Humberto González, Shankar Sastry, Claire Tomlin: Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control. CoRR abs/1208.0864 (2012)
- 2011
- [j16]Jeremy H. Gillula, Gabriel M. Hoffmann, Haomiao Huang, Michael P. Vitus, Claire J. Tomlin: Applications of hybrid reachability analysis to robotic aerial vehicles. I. J. Robotic Res. 30(3): 335-354 (2011)
- [j15]Alberto Silletti, Alessandro Abate, Jeffrey D. Axelrod, Claire J. Tomlin: Versatile spectral methods for point set matching. Pattern Recognition Letters 32(5): 731-739 (2011)
- [j14]Claire Tomlin: Mathematical Models to Help Understand Developmental Biology and Cancer. Procedia CS 7: 16-17 (2011)
- [c48]Michael P. Vitus, Claire J. Tomlin: On feedback design and risk allocation in chance constrained control. CDC-ECE 2011: 734-739
- [c47]Young Hwan Chang, Claire Tomlin: Inference of temporally evolving network dynamics with applications in biological systems. CDC-ECE 2011: 3706-3711
- [c46]Haomiao Huang, Wei Zhang, Jerry Ding, Dusan M. Stipanovic, Claire J. Tomlin: Guaranteed decentralized pursuit-evasion in the plane with multiple pursuers. CDC-ECE 2011: 4835-4840
- [c45]Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin: Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC-ECE 2011: 6122-6127
- [c44]Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin: A stochastic reach-avoid problem with random obstacles. HSCC 2011: 251-260
- [c43]Haomiao Huang, Jerry Ding, Wei Zhang, Claire J. Tomlin: A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag. ICRA 2011: 1451-1456
- [c42]Michael P. Vitus, Claire J. Tomlin: Closed-loop belief space planning for linear, Gaussian systems. ICRA 2011: 2152-2159
- [c41]Jerry Ding, Eugene Li, Haomiao Huang, Claire J. Tomlin: Reachability-based synthesis of feedback policies for motion planning under bounded disturbances. ICRA 2011: 2160-2165
- [c40]Jeremy H. Gillula, Claire J. Tomlin: Guaranteed safe online learning of a bounded system. IROS 2011: 2979-2984
- [i1]Anil Aswani, Humberto González, Shankar S. Sastry, Claire Tomlin: Provably Safe and Robust Learning-Based Model Predictive Control. CoRR abs/1107.2487 (2011)
- 2010
- [j13]Anil Aswani, Soile V. E. Keränen, James Brown, Charless C. Fowlkes, David W. Knowles, Mark D. Biggin, Peter Bickel, Claire J. Tomlin: Nonparametric identification of regulatory interactions from spatial and temporal gene expression data. BMC Bioinformatics 11: 413 (2010)
- [j12]Gabriel M. Hoffmann, Claire J. Tomlin: Mobile Sensor Network Control Using Mutual Information Methods and Particle Filters. IEEE Trans. Automat. Contr. 55(1): 32-47 (2010)
- [c39]Wei Zhang, Michael P. Vitus, Jianghai Hu, Alessandro Abate, Claire J. Tomlin: On the optimal solutions of the infinite-horizon linear sensor scheduling problem. CDC 2010: 396-401
- [c38]Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin: On sensor scheduling of linear dynamical systems with error bounds. CDC 2010: 1318-1323
- [c37]Maryam Kamgarpour, Vera Dadok, Claire Tomlin: Trajectory generation for aircraft subject to dynamic weather uncertainty. CDC 2010: 2063-2068
- [c36]Anil Aswani, Claire Tomlin: Computer-aided drug discovery for pathway and genetic diseases. CDC 2010: 4709-4714
- [c35]Jerry Ding, Claire J. Tomlin: Robust reach-avoid controller synthesis for switched nonlinear systems. CDC 2010: 6481-6486
- [c34]Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar Sastry, Ruzena Bajcsy, Claire Tomlin: A numerical method for the optimal control of switched systems. CDC 2010: 7519-7526
- [c33]Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar S. Sastry, Ruzena Bajcsy, Claire J. Tomlin: A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. HSCC 2010: 51-60
- [c32]Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus, Claire J. Tomlin: Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice. ICRA 2010: 1649-1654
- [c31]Michael P. Vitus, Claire J. Tomlin: Sensor Placement for Improved Robotic Navigation. Robotics: Science and Systems 2010
2000 – 2009
- 2009
- [j11]Anil Aswani, Claire Tomlin: Monotone Piecewise Affine Systems. IEEE Trans. Automat. Contr. 54(8): 1913-1918 (2009)
- [c30]Ruzena Bajcsy, Alessandro Borri, Maria Domenica Di Benedetto, Annarita Giani, Claire Tomlin: Classification of Physical Interactions between Two Subjects. BSN 2009: 187-192
- [c29]Jerry Ding, Claire J. Tomlin: Trajectory optimization in convex underapproximations of safe regions. CDC 2009: 2510-2515
- [c28]Anil Aswani, Harendra Guturu, Claire J. Tomlin: System identification of hunchback protein patterning in early drosophila embryogenesis. CDC 2009: 7723-7728
- [c27]Anil Aswani, Peter Bickel, Claire Tomlin: Statistics for sparse, high-dimensional, and nonparametric system identification. ICRA 2009: 2133-2138
- [c26]Haomiao Huang, Gabriel M. Hoffmann, Steven Lake Waslander, Claire J. Tomlin: Aerodynamics and control of autonomous quadrotor helicopters in aggressive maneuvering. ICRA 2009: 3277-3282
- [c25]Gabriel M. Hoffmann, Steven Lake Waslander, Michael P. Vitus, Haomiao Huang, Jeremy H. Gillula, Vijay Pradeep, Claire J. Tomlin: Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control. IROS 2009: 404-405
- [c24]Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus, Claire J. Tomlin: Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles. ISRR 2009: 139-149
- 2008
- [j10]Mustafa Khammash, Claire J. Tomlin, M. Vidyasagar: Guest Editorial - Special Issue on Systems Biology. IEEE Trans. Automat. Contr. 53: 4-7 (2008)
- [j9]Robin L. Raffard, Keith Amonlirdviman, Jeffrey D. Axelrod, Claire J. Tomlin: An Adjoint-Based Parameter Identification Algorithm Applied to Planar Cell Polarity Signaling. IEEE Trans. Automat. Contr. 53: 109-121 (2008)
- [c23]Michael P. Vitus, Steven Lake Waslander, Claire J. Tomlin: Locally optimal decomposition for autonomous obstacle avoidance with the Tunnel-MILP algorithm. CDC 2008: 540-545
- [c22]Anil Aswani, Claire J. Tomlin: Topology based control of biological genetic networks. CDC 2008: 781-786
- [c21]Maryam Kamgarpour, Claire J. Tomlin: Convergence properties of a decentralized Kalman filter. CDC 2008: 3205-3210
- [c20]Jerry Ding, Jonathan Sprinkle, Shankar S. Sastry, Claire J. Tomlin: Reachability calculations for automated aerial refueling. CDC 2008: 3706-3712
- [c19]Gabriel M. Hoffmann, Claire J. Tomlin: Decentralized cooperative collision avoidance for acceleration constrained vehicles. CDC 2008: 4357-4363
- 2007
- [j8]Hamsa Balakrishnan, Nandita Dukkipati, Nick McKeown, Claire J. Tomlin: Stability Analysis of Explicit Congestion Control Protocols. IEEE Communications Letters 11(10): 823-825 (2007)
- [j7]Jianghai Hu, Maria Prandini, Claire J. Tomlin: Conjugate Points in Formation Constrained Optimal Multi-Agent Coordination: A Case Study. SIAM J. Control and Optimization 45(6): 2119-2137 (2007)
- [c18]Kaushik Roy, Claire Tomlin: A New Hybrid State Estimator for Systems with Limited Mode Changes. HSCC 2007: 487-500
- [c17]Anil Aswani, Claire Tomlin: Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. HSCC 2007: 633-636
- 2005
- [j6]Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Automat. Contr. 50(7): 947-957 (2005)
- [c16]Robin L. Raffard, Jianghai Hu, Claire Tomlin: Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. HSCC 2005: 557-572
- [c15]Steven Lake Waslander, Gabriel M. Hoffmann, Jung Soon Jang, Claire J. Tomlin: Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning. IROS 2005: 3712-3717
- [c14]
- 2004
- [j5]Dusan M. Stipanovic, Gökhan Inalhan, Rodney Teo, Claire Tomlin: Decentralized overlapping control of a formation of unmanned aerial vehicles. Automatica 40(8): 1285-1296 (2004)
- [c13]Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin: Inference Methods for Autonomous Stochastic Linear Hybrid Systems. HSCC 2004: 64-79
- [c12]Alexandre M. Bayen, Robin L. Raffard, Claire Tomlin: Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. HSCC 2004: 95-110
- 2003
- [j4]Ian M. Mitchell, Claire Tomlin: Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19(1-3): 323-346 (2003)
- [j3]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)
- [c11]Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248
- 2002
- [c10]Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin: Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC 2002: 715-724
- [c9]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
- [e1]Claire Tomlin, Mark R. Greenstreet (Eds.): Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Lecture Notes in Computer Science 2289, Springer 2002, ISBN 3-540-43321-X
- 2001
- [j2]Claire Tomlin, Ian Mitchell, Ronojoy Ghosh: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2): 110-120 (2001)
- [c8]Ronojoy Ghosh, Claire Tomlin: Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. HSCC 2001: 232-246
- [c7]Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole: Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC 2001: 459-472
- 2000
- [c6]Ian Mitchell, Claire Tomlin: Level Set Methods for Computation in Hybrid Systems. HSCC 2000: 310-323
1990 – 1999
- 1999
- [j1]John Lygeros, Claire Tomlin, Shankar Sastry: Controllers for reachability specifications for hybrid systems. Automatica 35(3): 349-370 (1999)
- [c5]Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
- 1998
- [c4]Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373
- 1997
- [c3]John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-04 21:44 CEST by the dblp team