Talks


INVITED LECTURES IN ACADEMIA
INVITED PRESENTATIONS AT WORKSHOPS, CONFERENCES, AND IN INDUSTRY


INVITED LECTURES IN ACADEMIA

Worcester Polytechnic Institute, Worchester, MA, Department of Mechanical Engineering, (02/11/2015) – “Formal Methods for Dynamical Systems”

University of Maryland, College Park, UTRC Seminar Series, Institute for Systems Research, (09/12/2014) – “Formal Methods for Dynamical Systems”

University of Hong Kong, Department of Electrical and Electronic Engineering, (08/20/2013) – “Formal Methods for Dynamical Systems”

Georgia Institute of Technology, School of Aerospace Engineering, (04/04/2013) – “Formal Methods for Discrete-Time Linear Systems”

University of Pennsylvania, GRASP Laboratory, (02/15/2013) – “Formal Methods for Discrete-Time Linear Systems”

National University of Singapore, Singapore, Mechanical Engineering, (02/05/2013) – “Formal Methods for Discrete-Time Linear Systems”

University of California, San Diego, Mechanical and Aerospace Engineering, (04/13/2012) – “Formal Methods for Discrete-Time Linear Systems”

University of Illinois, Urbana Champaign, Coordinated Science Laboratory, (02/22/2012) – “Formal Methods for Dynamical Systems”

TU Delft, Department of Mechanical, Maritime, and Materials Engineering, Delft, Netherlands, (11/17/2011) – “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”

TU Eindhoven, Department of Electrical Engineering, Eindhoven, Netherlands, (11/16/2011) – “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”

ETH, Automatic Control Laboratory, Zurich, Switzerland, (11/09/2011) – “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”

Universite Joseph Fourier and Laboratoire Jean Kuntzmann, Grenoble, France, (10/18/2011) – “Formal Verification and Control of Piecewise Affine Systems with Applications to Biological Networks”

Groupe de Recherche Modelisation, Analyse et Conduite des Systemes Dynamiques, Paris, France, (10/13/2011) – “Formal Approaches to Motion Planning and Control”

INRIA, Rocquencourt, France, (10/10/2011) – “Formal Verification and Control of Piecewise Affine Systems with Applications to Biological Networks”

Carnegie Mellon University, School of Computer Science, (06/03/2011) – “Formal Verification and Synthesis of Discrete-Time Piecewise Affine Systems”

Georgia Institute of Technology, Decision and Control Laboratory, (02/25/2011) – “Formal Synthesis Approaches to Robot Motion Planning and Control”

Harvard University, School of Engineering and Applied Sciences, (02/11/2010) – “Synthesis of Provably-Correct Control and Communication Strategies for Distributed Systems”

University of Delaware, Department of Mechanical Engineering, (10/30/09) – “Synthesis of Provably-Correct Control and Communication Strategies for Distributed Systems”

University of California, Los Angeles, Department of Electrical Engineering, (09/22/09) – “Synthesis of Provably-Correct Control and Communication Strategies for Distributed Systems”

Masaryk University, Department of Informatics, (05/27/2009) – “Temporal Logic Motion Planning and Control”

Masaryk University, Department of Informatics, (05/28/2009) – “Scalable algorithms for analysis and control of biochemical networks”

Harvard University, Department of Electrical Engineering, (02/06/2009) – “Temporal logic motion planning and control”

Northeastern University, Center for Complex Networks Research, Department of Physics, (02/02/2009) – “Insights into the functional organization and robustness of genome scale metabolism”

University of Maryland, Baltimore County, Applied Mathematics and Statistics (12/05/2008) – “Insights into the functional organization and robustness of genome scale metabolism”

Massachusetts Institute of Technology, Mechanical Engineering, (05/15/2008) – “Automatic deployment of robotic teams from rich specifications”

Nanyang Technological University, Singapore, Division of Control and Instrumentation, (03/07/2008) – “Distributed Executions of Rich, Global Motion Specifications

University of California, Santa Barbara, Center for Control, Dynamical Systems, and Computation (CCDC), (02/22/2008) – “Distributed implementations of global temporal logic motion specifications”

Massachusetts Institute of Technology, Laboratory for Information and Decision Systems (LIDS), (02/12/2008) – “Distributed implementations of global temporal logic motion specifications”

National University of Singapore, Electrical and Computer Engineering, (08/13/2007) – “Temporal logic motion planning and control for robotic swarms”

Columbia University, Electrical Engineering, (04/18/2007) – “Scalable Algorithms for Analysis of Metabolic and Gene Networks”

Technische Universiteit Eindhoven, Electrical Engineering, (04/02/2007) – “Verification and Control of Hybrid Systems: Applications to Biochemical and Robotic Networks”

University of California, Berkeley, Mechanical Engineering, (03/15/2007) – “Temporal logic motion planning and control for robotic swarms”

Massachusetts Institute of Technology, Mechanical Engineering, (03/13/2007) – “Temporal logic motion planning and control for robotic swarms”

Cornell University, Sibley School of Mechanical and Aerospace Engineering, (02/22/2007) – “Temporal logic motion planning and control”

City College of New York, Electrical and Computer Engineering, (02/20/2007) – “Temporal logic motion planning and control”

Worchester Polytechnic Institute, Mechanical Engineering, (12/01/2006) – “Temporal logic motion planning and control”

Boston University, Center for BioDynamics, (05/24/06) – “Abstractions for swarms and biochemical networks”

Boston University, Bioinformatics, (03/23/06) – “Analysis of metabolic and genetic networks”

Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Lab, Robotics Seminar Series, (02/28/06) – “Hierarchical Abstractions for Planning and Control of Robotic Swarms”

Boston University, Manufacturing Engineering Department, (02/19/06) – “Analysis of metabolic and genetic networks”

Boston University, Computer Science Department, (02/01/06) – “Analysis of metabolic and genetic networks”

Boston University, Center for Information and Systems Engineering (09/30/05) – “Hierarchical Abstractions for Robot Motion Planning and Control”

Workshop on Swarming in Natural and Engineered Systems, Napa Valley, CA (08/03/2005) – “Hierarchical Abstractions for Robot Motion Planning and Control”

Dartmouth College, Thayer School of Engineering Science (03/25/05) – “Abstractions for Robot Motion Planning and Control”

Duke University, Mechanical Engineering and Materials Science (02/23/05) – “Abstractions for Robot Motion Planning and Control”

University of Pennsylvania, GRASP Lab Seminar Series (01/21/05) – “Abstractions for Planning and Control of Robotic Swarms”

University of Virginia, Mechanical and Aerospace Engineering (11/29/04) – “Analysis of Metabolic and Genetic Networks”

Boston University, Manufacturing Engineering (11/10/04) – “Analysis of Metabolic and Genetic Networks”

Drexel University, Physics (04/22/04) – “Reachability Analysis and Control of Rectangular Multi-Affine Hybrid Systems”

Drexel University, Biomedical Engineering (02/13/04) – “Analysis of metabolic and genetic networks”

University of Notre Dame, Center for Applied Mathematics (02/06/04) – “Reachability Analysis and Control of Rectangular Multi-Affine Hybrid Systems”

University of Illinois Chicago, Electrical Engineering (02/05/04) – “Reachability Analysis and Control of Rectangular Multi-Affine Hybrid Systems”

University of Pennsylvania, Mechanical Engineering and Applied Mechanics (03/12/03) – “Representation, modeling, and analysis of metabolic and genetic networks”

Princeton University, Electrical Engineering (01/14/03) – “Modeling, analysis, and control of genetic networks”

 top


INVITED PRESENTATIONS AT WORKSHOPS, CONFERENCES, AND IN INDUSTRY

Toyota Summit on Industrial Cyberphysical Systems, Toyota Research Center, (December 18, 2014, Torrance, California) – “Formal Methods for Large Dynamical Systems”

NATO STO SET RTG-199 (November 20, 2014, Lecce, Italy) – “Formal Methods for Networked Dynamical Systems”

Schloss Dagstuhl – Leibniz Center for Informatics (October 28, 2014, Wadern, Germany) – “Spatial Temporal Logic Inference, Verification, and Synthesis”

5th Workshop on Formal Methods in Robotics (July 13, 2014, UC Berkeley, CA, part of RSS 2014) – “Formal Methods for Robotics: Motivation and Challenges”

Rice University – The Very Best of Robotics Today (April 4, 2014, Houston, TX) – “Formal Synthesis of Control Strategies in Large Configuration Spaces”

Schloss Dagstuhl – Leibniz Center for Informatics (March 18, 2014, Wadern, Germany) – “Formal Methods for Control Design”

ONR Maritime Unmanned Systems Meeting (Jan 27, 2014, Panama City, FL) – “Formal Methods for Dynamical Systems: Results and Challenges”

Intelligent Systems Army Science Planning & Strategy Meeting (Nov. 12, 2013, Potomac, MD) – “Formal Synthesis of Control Strategies in Partially Known and Dynamic Environments”

NSF Cyber Physical Systems PI Meeting (Oct. 17, 2013, Arlington, VA) – “Formal Synthesis with Learning of Environmental Dynamics”

4th Workshop on Formal Methods in Robotics (June 27, 2013, TU Berlin, Germany, part of RSS 2013) – “Optimality and Correctness in Robot Motion Planning and Control”

AFOSR Workshop on Future Directions in Control (June 19, 2013, Arlington, MD) – “Challenges in Formal Synthesis”

LCCC Workshop on Formal Verification of Embedded Control Systems (April 17 2013, Lund University, Sweden) – “Formal Methods for Discrete-time Linear Systems”

NSF Workshop on Formal Composition of Motion Primitives (April 8 2013, Philadelphia, MA, USA) – “Verification and Control for Discrete-time Linear Systems”

 NSF Workshop on Formal Composition of Motion Primitives (June 12 2012, MIT, Cambridge, MA, USA) – “Formal Approaches to Motion Planning and Control”

Workshop on Formal Methods for Robotics and Automation (July 15 2011, CAV 2011, Snowbird, Utah) – Formal Approaches to Motion Planning and Control: Results and Open Questions

AFOSR Dynamics and Control Program Review (June 16, 2011, Arlington, VA, USA) – Formal Verification and Synthesis of Discrete-Time Piecewise Affine Systems

AFOSR Dynamics and Control Program Review (Aug 11, 2010, Arlington, VA, USA) – A Formal Approach to the Deployment of Robotic Teams

Workshop on Network Science and Systems Issues in Multi-robot Autonomy (May 3 2010, ICRA 2010, Anchorage, Alaska) – A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment

Workshop on Formal Methods for Robotics and Automation (May 3 2010, ICRA 2010, Anchorage, Alaska) – Synthesis of provably-correct control and communication strategies for distributed mobile systems

Workshop on Synthetic Biology (Jan 28, 2010, Ohio State University) – Formal Approaches to the Design, Synthesis, and Control of Synthetic Gene Networks

Mass Technology Leadership Council Summit on the Future of Robotics (Dec 8 2009, Boston, MA, USA) – Robotics Research at Boston University

Caltech Workshop on Validation and Verification (Sept 23 2009, Pasadena, CA, USA) – Synthesis of Provably-Correct Control and Communication Strategies for Distributed Systems

United Technology Research Center, (Sept 9, 2009, Hartford, CO, USA) – Formal Approaches to Robot Motion Planning and Control

AFOSR Dynamics and Control Program Review (July 16, 2009, Washington, DC, USA) – Automatic Deployment of Robotic Teams from Temporal Logic Specifications

Third Workshop on Swarming in Natural and Engineered Systems (June 4, 2009, Block Island, RI, USA) – Automatic deployment of robotic teams from rich specifications

Workshop on Formal Methods in Robotics and Automation (ICRA 2009, Kobe, Japan) – Automatic deployment of robotic teams from temporal logic specifications

Workshop on Algorithmic Automation (ICRA 2008, Pasadena, CA) – Provably-correct distributed implementations of global motion specifications

NSF Workshop on Real Time Control of Hybrid Systems (Oct 29, 2007, Hungarian Academy of Sciences, Budapest, Hungary) – Symbolic planning and control of robot motion

Workshop on Collective Behaviors Inspired by Biological and Biochemical Systems (ICRA 2007, Rome, Italy) – Building blocks for cellular robotics

Workshop on Hybrid Systems Biology (CDC 2006, San Diego, CA) – Computational tools for robustness analysis and tuning of synthetic gene networks

Workshop on Swarming in Natural and Engineered Systems (Aug. 2005, Napa Valley, CA) – Hierarchical abstractions for planning and control of robotic swarms

US-Korea Conference (UKC 2004, Research Triangle, NC) – Towards Cellular Robotics

top