Claire J. Tomlin

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)

Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin: One-shot computation of reachable sets for differential games. HSCC 2013: 183-192

Maryam Kamgarpour, Claire Tomlin: On optimal control of non-autonomous switched systems with a fixed mode sequence. Automatica 48(6): 1177-1181 (2012)

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)

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)

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)

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)

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)

Young Hwan Chang, Claire Tomlin: Data-driven graph reconstruction using compressive sensing. CDC 2012: 1035-1040

Manuel Soler, Maryam Kamgarpour, Claire Tomlin, Ernesto Staffetti: Multiphase mixed-integer optimal control framework for aircraft conflict avoidance. CDC 2012: 1740-1745

Michael P. Vitus, Claire J. Tomlin: A hybrid method for chance constrained control in uncertain environments. CDC 2012: 2177-2182

Zhengyuan Zhou, Ryo Takei, Haomiao Huang, Claire J. Tomlin: A general, open-loop formulation for reach-avoid games. CDC 2012: 6501-6506

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

Pangun Park, Claire Tomlin: Investigating Communication Infrastructure of Next Generation Air Traffic Management. ICCPS 2012: 35-44

Patrick Bouffard, Anil Aswani, Claire Tomlin: Learning-based model predictive control on a quadrotor: Onboard implementation and experimental results. ICRA 2012: 279-284

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

Jeremy H. Gillula, Claire J. Tomlin: Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor. ICRA 2012: 2723-2730

Michael P. Vitus, Wei Zhang, Claire J. Tomlin: A hierarchical method for stochastic motion planning in uncertain environments. IROS 2012: 2263-2268

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

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

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)

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)

Anil Aswani, Claire Tomlin: Incentive Design for Efficient Building Quality of Service. CoRR abs/1207.2515 (2012)

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)

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)

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)

Claire Tomlin: Mathematical Models to Help Understand Developmental Biology and Cancer. Procedia CS 7: 16-17 (2011)

Michael P. Vitus, Claire J. Tomlin: On feedback design and risk allocation in chance constrained control. CDC-ECE 2011: 734-739

Young Hwan Chang, Claire Tomlin: Inference of temporally evolving network dynamics with applications in biological systems. CDC-ECE 2011: 3706-3711

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

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

Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin: A stochastic reach-avoid problem with random obstacles. HSCC 2011: 251-260

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

Michael P. Vitus, Claire J. Tomlin: Closed-loop belief space planning for linear, Gaussian systems. ICRA 2011: 2152-2159

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

Jeremy H. Gillula, Claire J. Tomlin: Guaranteed safe online learning of a bounded system. IROS 2011: 2979-2984

Anil Aswani, Humberto González, Shankar S. Sastry, Claire Tomlin: Provably Safe and Robust Learning-Based Model Predictive Control. CoRR abs/1107.2487 (2011)

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)

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)

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

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

Maryam Kamgarpour, Vera Dadok, Claire Tomlin: Trajectory generation for aircraft subject to dynamic weather uncertainty. CDC 2010: 2063-2068

Anil Aswani, Claire Tomlin: Computer-aided drug discovery for pathway and genetic diseases. CDC 2010: 4709-4714

Jerry Ding, Claire J. Tomlin: Robust reach-avoid controller synthesis for switched nonlinear systems. CDC 2010: 6481-6486

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

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

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

Michael P. Vitus, Claire J. Tomlin: Sensor Placement for Improved Robotic Navigation. Robotics: Science and Systems 2010

Anil Aswani, Claire Tomlin: Monotone Piecewise Affine Systems. IEEE Trans. Automat. Contr. 54(8): 1913-1918 (2009)

Ruzena Bajcsy, Alessandro Borri, Maria Domenica Di Benedetto, Annarita Giani, Claire Tomlin: Classification of Physical Interactions between Two Subjects. BSN 2009: 187-192

Jerry Ding, Claire J. Tomlin: Trajectory optimization in convex underapproximations of safe regions. CDC 2009: 2510-2515

Anil Aswani, Harendra Guturu, Claire J. Tomlin: System identification of hunchback protein patterning in early drosophila embryogenesis. CDC 2009: 7723-7728

Anil Aswani, Peter Bickel, Claire Tomlin: Statistics for sparse, high-dimensional, and nonparametric system identification. ICRA 2009: 2133-2138

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

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

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

Mustafa Khammash, Claire J. Tomlin, M. Vidyasagar: Guest Editorial - Special Issue on Systems Biology. IEEE Trans. Automat. Contr. 53: 4-7 (2008)

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)

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

Anil Aswani, Claire J. Tomlin: Topology based control of biological genetic networks. CDC 2008: 781-786

Maryam Kamgarpour, Claire J. Tomlin: Convergence properties of a decentralized Kalman filter. CDC 2008: 3205-3210

Jerry Ding, Jonathan Sprinkle, Shankar S. Sastry, Claire J. Tomlin: Reachability calculations for automated aerial refueling. CDC 2008: 3706-3712

Gabriel M. Hoffmann, Claire J. Tomlin: Decentralized cooperative collision avoidance for acceleration constrained vehicles. CDC 2008: 4357-4363

Hamsa Balakrishnan, Nandita Dukkipati, Nick McKeown, Claire J. Tomlin: Stability Analysis of Explicit Congestion Control Protocols. IEEE Communications Letters 11(10): 823-825 (2007)

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)

Kaushik Roy, Claire Tomlin: A New Hybrid State Estimator for Systems with Limited Mode Changes. HSCC 2007: 487-500

Anil Aswani, Claire Tomlin: Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. HSCC 2007: 633-636

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)

Robin L. Raffard, Jianghai Hu, Claire Tomlin: Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. HSCC 2005: 557-572

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

Claire Tomlin: Session Overview Robot Design and Control. ISRR 2005: 325-326

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)

Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin: Inference Methods for Autonomous Stochastic Linear Hybrid Systems. HSCC 2004: 64-79

Alexandre M. Bayen, Robin L. Raffard, Claire Tomlin: Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. HSCC 2004: 95-110

Ian M. Mitchell, Claire Tomlin: Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19(1-3): 323-346 (2003)

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)

Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248

Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin: Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC 2002: 715-724

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

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

Claire Tomlin, Ian Mitchell, Ronojoy Ghosh: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2): 110-120 (2001)

Ronojoy Ghosh, Claire Tomlin: Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. HSCC 2001: 232-246

Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole: Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC 2001: 459-472

Ian Mitchell, Claire Tomlin: Level Set Methods for Computation in Hybrid Systems. HSCC 2000: 310-323

John Lygeros, Claire Tomlin, Shankar Sastry: Controllers for reachability specifications for hybrid systems. Automatica 35(3): 349-370 (1999)

Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255

Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373

John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123

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

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