Calin A. Belta - Boston Universitysites.bu.edu/hyness/files/2014/05/resume_complete_no_ref.pdf ·...

Calin A. Belta Home: Office: 595 Sugar Rd. 110 Cummington St., Room 414 Bolton, MA 01740 Boston University Phone: (987) 634 1603 Boston, MA 02215

Phone: (617) 353 9586

WWW: http://hyness.bu.edu/calin Email: [email protected] Google Scholar: http://scholar.google.com/citations?user=72yPqG4AAAAJ&hl=en RESEARCH INTERESTS Verification and Control of Dynamical Systems, Robotics, Systems Biology EDUCATION University of Pennsylvania, Philadelphia, PA Ph.D. Mechanical Engineering, Aug 2003 M.S. Mechanical Engineering, May 2001 Thesis: “Geometric methods for multi-robot planning and control” Louisiana State University, Baton Rouge, LA M.S. Electrical Engineering, May 1999 Thesis: "Stability Analysis of Axial Flow Compressors" Universitatea Tehnica "Gh.Asachi", Iasi, Romania M.S. Control, July 1996 Thesis: "A New Method of Optimal Control" B.S., M.S. Automatic Control and Computer Science, July 1995 Thesis: "LQ Optimal Control" PROFESSIONAL EXPERIENCE Boston University, Boston, MA Associate Professor (with tenure) of Mechanical Eng., Systems Eng., Electrical and Computer Eng, and Bioinformatics, Aug. 2011 – Assistant Professor, July 2005 – Aug. 2011 Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, France Visiting Professor, Oct.-Nov. 2011 Massachusetts Institute of Technology (MIT), Cambridge, MA Visiting Professor at the Singapore MIT Alliance for Research and Technology (SMART), Sept. 2011 Drexel University, Philadelphia, PA Assistant Professor of Mechanical Engineering, Sept. 2003 – June 2005 GRASP Laboratory, Univ. of Pennsylvania, Philadelphia, PA Graduate Research Fellow, Sept 1999-Sept 2003

Calin Belta, Curriculum Vitae, of 22

Control Systems Laboratory, Louisiana State University, Baton Rouge, LA Graduate Research Fellow, 1997-1999

Universitatea Tehnica "Gh.Asachi", Iasi, Romania Junior Assistant Professor, 1995 - 1997 AWARDS CISE First Prize, BU Engineering and Science Day, Boston, April 12, 2012 Plenary Invited Speaker, 15th International Conference on Hybrid Systems: Computation and Control (HSCC) Beijing, April 17, 2012. Best Student Paper Award, (student: Yushan Chen), 10th Int. Symp. on Distributed Autonomous Robotic Sys,

Lausanne, Switzerland, 2010 AFOSR Young Investigator Award, 2008 NSF CAREER Award, 2005 Best Paper Award, Int. Conf. Systems Biology, Heidelberg, Germany, 2004 Best Paper Award Finalist, ASME DETC, Montreal, Canada, 2002 Best Student Paper Award Finalist, Int. Conf. on Robotics and Automation 2001, Seoul, Korea, 2001 University Fellowship, University of Pennsylvania, Philadelphia, PA, 1999 Fulbright Study Award, 1997 Valedictorian, Universitatea Tehnica Gh. Asachi, Iasi, Romania, 1995 Excellence Scholarship, Universitatea Tehnica Gh. Asachi, Iasi, Romania, 1990 - 1995 CURRENT PROJECTS NSF EF 1137900: “Collaborative Research: The Dynamics of the Innate Immune System: A Study of the Toll-Like Receptor (TLR) Network”, Role: PI, $142,512, 07/10/2011 – 06/10/2013 ONR MURI 014-001-0303-5: “Utilizing Synthetic Biology to Create Programmable Micro-Bio-Robots”, Role: co-PI, expected overall 5-year amount: $7,500,000, 07/30/2011 – 06/30/2016 ONR MURI N00014-10-10952: “Animal Inspired Robust Flight with Outer and Inner Loop Strategies” (subcontract from U. Washington), Role: co-PI, expected overall 5-year amount: $7,500,000, expected 5-year BU amount: $3,127,730, 10/01/2010 – 09/31/2015 NSF CNS-1035588 “CPS: Medium: Collaborative Research: Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems”, Role: PI, overall 3-year amount: $1,000,000, 3-year BU amount: $400,000, 09/03/2010 – 09/02/2013 ONR MURI N00014-09-1051: “Smart Adaptive Reliable Teams for Persistent Surveillance (SMARTS)” (subcontract from MIT), Role: PI of the BU team, overall 5-year amount: $7,500,000, 5-year BU amount: $1,446,000, 05/30/2009 – 05/01/2014 NSF CMMI 0928776: “A formal approach to the control of stochastic dynamical systems,” Role: co-PI, $240,000, 08/05/09 -08/31/13 NSF CNS-0834260: “A formal approach to control of hybrid systems”, Role: PI (Single PI), $300,000, 09/15/08 -08/31/13. PAST PROJECTS


AFOSR DURIP FA9550- 11-1-0292: “Instrumentation to Support Research on Provably Safe and Animal-Inspired Flight”, Role: PI, $250,000, 11/01/2012 – 09/01/2013 NSF IIS-0447721: “CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI: (Single PI), $400,000, 02/01/05 -01/31/11. NSF IIS- 0924561: “REU Supplement for CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI (Single PI), $12,000, 05/01/2009 – 12/31/2009 AFOSR Young Investigator Award FA9550-09-1-0209: “Formal synthesis of control and communication strategies for teams of unmanned vehicles”, Role: PI (Single PI), $300,000, 01/01/09 -12/31/12. ARO W911NF-09-1-0088: “Specification languages and distributed control schemes for teams of unmanned vehicles”. Role: PI (single PI), $229,101, 01/01/09 -12/31/12. NIH R01 DE15989: “Role of Obesity in Infection”, Role: co-PI, $569,676, 10/1/2009 - 09/30/2011 NSF IIS-0822845: “REU Supplement for CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI (Single PI) , $12,000, 05/01/2008 – 07/31/2008 NSF CNS-0410514: “Scalable algorithms for safety verification and reachability analysis of hybrid systems”, Role: PI, $300,000, 09/01/04 -08/30/08. NSF CCF-0432070: “Collaborative Research: Rational Design of Synthetic Gene Networks using Formal Analysis of Hybrid Systems”, Role: PI, $275,000, 09/01/04 -08/30/07. PA Dept of Health Research Formula Fund Grant: “Systems Biology Approach to the Understanding of Protein – Protein Interactions: Simulation, Control and Biological Validation”, Role: co-PI, $50,000, 05/01/04 - 04/30/05. JOURNAL PAPERS [A39] Ebru Aydin Gol, Mircea Lazar, Calin Belta, Language-Guided Control Design for Linear Systems, IEEE Transactions on Automatic Control (accepted) [A38] Guilhem Richard, Niraj Trivedi, Calin Belta, and Salomon Amar, Partial Restoration of Macrophage Alteration from Diet-induced obesity in Response to Porphyromonas gingivalis Infection, PLoS ONE 8(7): e70320. doi:10.1371/journal.pone.0070320 [A37] E. Aydin Gol and C. Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, Nonlinear Analysis: Hybrid Systems (accepted) [A36] A. Ulusoy, S. L. Smith, X. C. Ding, C. Belta, and D. Rus, Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints, The International Journal of Robotics Research (IJRR), Volume 32, Issue 8, pp. 889 – 911, July 2013 [A35] Y. Chen, J. Tumova, and C. Belta, Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics, The International Journal of Robotics Research, vol. 32 no. 5, pp. 547-565, 2013 [A34] Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, Automatica, vol. 49, issue 1, pp. 261-266, 2013 [A33] Guilhem Richard, Calin Belta, A. Agung Julius, and Salomon Amar, Controlling the Outcome of the Toll-like Receptor Signaling Pathways, PLoS ONE, 7(2): e31341. doi:10.1371/ journal.pone.0031341, 2012


[A32] Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Temporal Logic Motion Planning and Control with Probabilistic Satisfaction Guarantees, IEEE Transaction on Robotics, vol. 28, no. 2, pp. 396-409, 2012 [A31] Y. Chen, D. Ding, A. Stefanescu, and C. Belta, A Formal Approach to the Deployment of Distributed Robotic Teams, IEEE Transaction on Robotics, vol. 28, issue 1, pp.158 – 171, 2012 [A30] B. Yordanov, J. Tumova, I. Cerna, J. Barnat, C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1491-1504, 2012 [A29] Xu Chu Ding, Marius Kloetzer, Yushan Chen, Calin Belta, Automatic Deployment of Robotic Teams: An Automata Theoretic Approach, IEEE Robotics and Automation Magazine, vol. 18, no. 3, pp. 75-86, 2011 [A28] Amy LaViers, Yushan Chen, Calin Belta, Magnus Egerstedt, Automatic Sequencing of Ballet Poses, IEEE Robotics and Automation Magazine, vol. 18, no. 3, pp. 87-95, 2011 [A27] Stephen Smith, Jana Tumova, Calin Belta, Daniela Rus, Optimal Path Planning for Surveillance with Temporal Logic Constraints, International Journal of Robotics Research, vol. 30, no. 14, pp. 1695-1708, 2011 [A26] M. Imielinski and C. Belta, Deep epistasis in human metabolism, Chaos, vol.20, doi:10.1063/1.34560562010, 2010 [A25] B. Yordanov and C. Belta, Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol. 55, no. 2, pp. 2834-2840, 2010 [A24] M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, An automated framework for formal verification of timed continuous Petri nets, IEEE Transactions on Industrial Informatics, vol. 6, no. 3, pp. 460-471, 2010 [A23] M. Kloetzer and C. Belta, Automatic deployment of distributed teams of robots from temporal logic motion specifications, IEEE Transactions on Robotics, vol. 26, no. 1, pp. 48-61, 2010 [A22] M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Transactions of the Institute of Measurement and Control, Special Issue on Hybrid Systems, vol. 32, no. 5, pp. 445 – 467, 2010 [A21] M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 [A20] M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from temporal logic specifications, IEEE Transactions on Automatic Control, vol. 53, no. 1, pp. 287-297, 2008 [A19] G. Batt, C. Belta, and R. Weiss, Temporal logic analysis of gene networks under parameter uncertainty, IEEE Transactions on Automatic Control, vol.53, no. 1, pp. 215-229, 2008 [A18] G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Bioinformatics, vol. 23, no. 18, pp. 2415-2422, 2007 [A17] C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, Symbolic Planning and Control of Robot Motion, IEEE Robotics and Automation Magazine, Special issue: Grand Challenges of Robotics, vol. 14, no. 1, pp. 61–71, 2007 [A16] A. Halasz, V. Kumar, M. Imielinski, C. Belta, O. Sokolsky, S. Pathak, and H. Rubin, Analysis of Lactose Metabolism in E.coli using Reachability Analysis of Hybrid Systems, IET Systems Biology, vol.1, no.2, pp. 130-148, 2007


[A15] M. Kloetzer and C. Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions, IEEE Transactions on Robotics, vol.23, no.2, pp. 320-331, 2007 [A14] C. Belta and L.C.G.J.M. Habets, Control of a class of nonlinear systems on rectangles, IEEE Transactions on Automatic Control, vol. 51, no. 11, pg. 1749 – 1759, 2006 [A13] M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E. coli genome-scale metabolic network reveals novel growth media, Biophysical Journal, vol. 90, pp. 2659 – 2672, 2006 [A12] M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing the essential metabolome through genome scale analysis of E.Coli production capabilities, Bioinformatics, vol. 21 no. 9, pp. 2008–2016, 2005 [A11] C. Belta, V. Isler, and G. J. Pappas, Discrete abstractions for robot planning and control in polygonal environments, IEEE Transactions on Robotics, vol.21, no.5, pp.864-874, 2005 [A10] C. Belta, J. Esposito, J. Kim, and V. Kumar, Computational techniques for analysis of genetic network dynamics, The International Journal of Robotics Research, vol. 24, no. 2-3, pp. 219-235, 2005 [A9] C. Belta and V. Kumar, Abstraction and control for groups of robots, IEEE Transactions on Robotics, vol.20, no.5, pp. 865-875, 2004 [A8] C. Belta and V. Kumar, Optimal motion generation for groups of robots: a geometric approach, ASME Journal of Mechanical Design, Vol. 126, pp. 63-70, 2004 [A7] C. Belta and V. Kumar, An SVD – based projection method for interpolation on SE(3), IEEE Transactions on Robotics and Automation, vol. 18, no. 3, pp. 334 – 345, June 2002 [A6] C. Belta and V. Kumar, Euclidean metrics for motion generation on SE(3), Journal of Mechanical Engineering Science Part C, vol. 216, no. C1, pp. 47 – 60, 2002 [A5] C. Belta and V. Kumar, On the computation of rigid body motion, Electronic Journal of Computational Kinematics, vol 1, no. 1, 2002 [A4] R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, Modeling and analyzing biomolecular networks, Computing in Science and Engineering, Jan/Feb 2002, pp. 20 – 30 [A3] C. Belta, G. Gu, A. Sparks, and S. Banda, Rotating stall control for axial flow compressors, Automatica, vol. 37, pp. 921-931, 2001 [A2] G. Gu, A. Sparks, and C. Belta, Stability analysis for rotating stall dynamics in axial flow compressors, Circuits, Systems and Signal Processing, vol.18, no.4, pp.331-350, 1999. [A1] C. Botan and C. Belta, Some aspects concerning the controller implementation for the discrete LQ problem, Bulletin of the Polytechnic Institute of Iasi, vol.XLIII(1-4), pp.11-16, 1997. BOOK CHAPTERS [B16] Y. Chen, X. C. Ding, A. Stefanescu, and C. Belta, A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment, Springer Tracts in Advanced Robotics, Springer Berlin Heidelberg, vol. 83, pp. 313-327, 2012 [B15] C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2010 (to appear)


[B14] C. Belta, Robot Motion Planning, Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc, Hoboken, ed. Benjamin Wah, vol. 4, pp. 2439-2446, 2009 [B13] B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555, 2008 [B12] M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 [B11] G. Batt, C. Belta and R. Weiss, Model checking genetic regulatory networks with parameter uncertainty, Lecture Notes in Computer Science, eds. A. Bemporal, A. Bicchi, and G. Buttazzo, vol. 4416, pp. 61-75, 2007 [B10] G. Batt, C. Belta, and R. Weiss, Model checking liveness properties of genetic regulatory networks, Lecture Notes in Computer Science, eds. O. Grumberg and M. Huth., vol. 4424, pp. 323-338, 2007 [B9] M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333 – 347, 2006 [B8] M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 348 – 362, 2006 [B7] C. Belta, G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, Robotics Research, Springer Tracts in Advanced Robotics, eds. B. Siciliano, O. Khatib, and F. Groen, Springer Berlin / Heidelberg, vol. 15, pp. 224-233, 2005 [B6] C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinksi, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, Lecture Notes in Computer Science, vol. 2993, pp. 111-126, 2004 [B5] C. Belta and V. Kumar, Geometric methods for multi-robot motion planning, Handbook of Computational Geometry for Pattern Recognition, Computer Vision, Neurocomputing and Robotics, ed. Eduardo Bayro-Corrochano, Springer-Verlag, Berlin, pp. 536-563, 2004 [B4] R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, Lecture Notes in Computer Science, vol. 2552, pp. 702-713, 2002 [B3] C. Belta and V. Kumar, Towards abstraction and control for large groups of robots, Control Problems in Robotics, Springer Tracts in Advanced Robotics, Springer-Verlag, Berlin, pp. 169 – 182, 2002 [B2] R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, Lecture Notes in Computer Science, vol. 2034, pp. 19-32, 2001 [B1] C. Botan and C. Belta, Weight Selection in the LQ Problem with Finite Final Time, Control Applications of Optimization, Ed. J. Shinar, Pergamon, pp.117 – 123, 1995 PEER-REVIEWED CONFERENCE PAPERS PUBLISHED IN PROCEEDINGS [C104] Maria Svorenova, Ivana Cerna, Calin Belta, Optimal Control of MDPs with Temporal Logic Constraints, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 [C103] Guilhem Richard, Agung Julius, Calin Belta, Optimizing Regulation Functions in Gene Network


Identification, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 [C102] Ebru Aydin Gol, Douglas Densmore, Calin Belta, Data-driven Verification of Synthetic Gene Networks, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 [C101] Austin Jones, Mac Schwager, Calin Belta, Distribution Temporal Logic: Combining Correctness with Quality of Estimation, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 [C100] Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Temporal Logic Motion Planning in Unknown Environments, IROS 2013, Tokyo, Japan, 2013 [C99] Igor Cizelj, Calin Belta, Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications, IROS 2013, Tokyo, Japan, 2013 [C98] Cristian Vasile, Calin Belta, Sample-Based Temporal Logic Path Planning, IROS 2013, Tokyo, Japan, 2013 [C97] Alphan Ulusoy, Michael Marrazzo, and, Calin Belta, Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications, Robotics: Science and Systems (RSS) 2013, Berlin, Germany, 2013 [C96] Maria Svorenova, Ivana Cerna, Calin Belta, Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints, American Control Conference (ACC) 2013, Washington, DC, 2013 [C95] Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta, Temporal Logic Control for an Autonomous Quadrotor in a Nondeterministic Environment, IEEE International Conference on Robotics and Automation (ICRA) 2013, Karlsruhe, Germany, 2013 [C94] Austin Jones, Mac Schwager, Calin Belta, A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints, IEEE International Conference on Robotics and Automation (ICRA) 2013, Karlsruhe, Germany, 2013 [C93] Igor Cizelj, Calin Belta, Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications, IEEE International Conference on Robotics and Automation (ICRA) 2013, Karlsruhe, Germany, 2013 [C92] Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems with Linear Temporal Logic Specification, IEEE International Conference on Robotics and Automation (ICRA) 2013, Karlsruhe, Germany, 2013 [C91] Ebru Aydin Gol, Mircea Lazar and Calin Belta, Temporal Logic Model Predictive Control for Discrete-Time Systems, Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA 2013 [C90] Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore, Experimentally Driven Verification of Synthetic Biological Circuits, Design, Automation and Test in Europe Conference and Exhibition (DATE), Dresden, Germany, 2012 [C89] Alphan Ulusoy, Stephen L. Smith, Calin Belta, Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization, 2012 International Symposium on Distributed Autonomous Robotic Systems (DARS) 2012, Baltimore, MD, USA [C88] Morteza Lahijanian, Sean Andersson, Calin Belta, Approximate Markovian Abstractions for Linear Stochastic Systems, IEEE Conference of Decision and Control (CDC) 2012, Maui, Hawaii, 2012 [C87] Yushan Chen, Kun Deng, Calin Belta, Multi-Agent Persistent Monitoring in Stochastic Environments with


Temporal Logic Constraints, IEEE Conference of Decision and Control (CDC) 2012, Maui, Hawaii, 2012 [C86] Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints, IEEE Conference of Decision and Control (CDC) 2012, Maui, Hawaii, 2012 [C85] Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Conference of Decision and Control (CDC) 2012, Maui, Hawaii, 2012 [C84] Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents, IROS 2012, Vilamoura, Algarve, Portugal, 2012 [C83] Igor Cizelj and Calin Belta, Probabilistically Safe Control of Noisy Dubins Vehicles, IROS 2012, Vilamoura, Algarve, Portugal, 2012 [C82] Xu Chu Ding, Mircea Lazar, and Calin Belta, Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 [C81] Ebru Aydin Gol and Calin Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 [C80] Xu Chu Ding, Mircea Lazar, and Calin Belta, Receding Horizon Temporal Logic Control for Finite Deterministic Systems, American Control Conference (ACC), Montréal, Canada, 2012 [C79] Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA [C78] Xu Chu Ding, Jing Wang, Morteza Lahijanian, Yannis Paschalidis, Calin Belta, Temporal Logic Motion Control using Actor-Critic Methods, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA [C77] Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA [C76] Yushan Chen, Jana Tumova, Calin Belta, LTL Robot Motion Control based on Automata Learning of Environmental Dynamics 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA [C75] Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Language-Guided Controller Synthesis for Discrete-Time Linear Systems, Hybrid Systems Computation and Control (HSCC) 2012, Beijing, China [C74] Marius Kloetzer, Xu Chu Ding, Calin Belta, Multi-robot deployment from LTL specifications with reduced communication, CDC 2011, Orlando, FL, 2011 [C73] Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Calin Belta, Ioannis Paschalidis, Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control, CDC 2011, Orlando, FL, 2011 [C72] Nicholas Cooper, Calin Belta, Agung Julius, Genetic Regulatory Network Identification Using Multivariate Monotone Functions, CDC 2011, Orlando, FL, 2011


[C71] Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, MDP Optimal Control under Temporal Logic Constraints, CDC 2011, Orlando, FL, 2011 [C70] Boyan Yordanov, Calin Belta, A Formal Verification Approach to the Design of Synthetic Gene Networks, CDC 2011, Orlando, FL, 2011 [C69] Guilhem Richard, H.J. Chang, Igor Cizelj, Calin Belta, Agung Julius, Salomon Amar Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses, CDC 2011, Orlando, FL, 2011 [C68] Yushan Chen, Xu Chu Ding, Calin Belta, Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications, CDC 2011, Orlando, FL, 2011 [C67] Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus, Optimal Multi-Robot Path Planning with Temporal Logic Constraints, IROS, San Francisco, 2011 [C66] Ana Ivonne Medina Ayala, Sean Andersson, and Calin Belta, Temporal Logic Control in Dynamic Environments with Probabilistic Satisfaction Guarantees, IROS, San Francisco, 2011 [C65] M. Lahijanian, S. B. Andersson, and C. Belta, Control of Markov Decision Processes from PCTL specifications, American Control Conference (ACC), San Francisco, CA, 2011 [C64] H.J. Chang, Guilhem Richard, Agung Julius, Calin Belta, Salomon Amar, An Application of Monotone Functions Decomposition to the Reconstruction of Gene Regulatory Networks, 33rd Annual International IEEE EMBS Conference, Boston, MA, 2011 [C63] Agung Julius, Calin Belta, Genetic Regulatory Network Identification Using Monotone Functions Decomposition, 18th IFAC World Congress. Milan, Italy, 2011 [C62] Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta, Probabilistically Safe Vehicle Control in a Hostile Environment, 18th IFAC World Congress. Milan, Italy, 2011 [C61] Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees, 18th IFAC World Congress. Milan, Italy, 2011 [C60] Y. Chen, X. C. Ding, A. Stefanescu, and C. Belta, A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment, 10th International Symposium on Distributed Autonomous Robotics Systems (DARS), Lausanne, Switzerland, 2010 (Best student paper award) [C59] Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat, A Symbolic Approach to Controlling Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 [C58] Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 [C57] Xu Chu Ding, Calin Belta, Christos G. Cassandras, Receding Horizon Surveillance with Temporal Logic Specifications, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 [C56] Y. Chen, A. Stefanescu, and C. Belta, A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010


[C55] S. L. Smith, J. Tumova, C. Belta, and D. Rus, Optimal path planning under Temporal Logic Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010 [C54] L.C.G.J.M Habets and C. Belta, Temporal Logic Control for Piecewise-Affine Hybrid Systems on Polytopes, 9th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, July 2010 [C53] M. Lahijanian, J. Wasniewski, S. B. Andersson, and C. Belta, Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees, IEEE International Conference on Robotics and Automation (ICRA 2010), May 3-8, 2010, Anchorage, Alaska, USA [C52] M. Kloetzer, S. Itani, S. Birch, and C. Belta, On the Need for Communication in Distributed Implementations of LTL Motion Specifications, IEEE International Conference on Robotics and Automation (ICRA 2010), May 3-8, 2010, Anchorage, Alaska, USA [C51] R. D. Walker, S. B. Andersson, C. Belta, and P. Dupont, IN-Haptics: Interactive Navigation Using Haptics, IEEE Haptics Symposium, Waltham, MA, pp. 463- 466, 2010 [C50] B. Yordanov and C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Shanghai, China, pp. 3182-3187, 2009 [C49] M. Lahijanian, C. Belta, and S. Andersson, A Probabilistic Approach for Control of a Stochastic System from LTL Specifications, IEEE Conference on Decision and Control (CDC), Shanghai, China, pp. 2236 – 2241, 2009 [C48] M. Lahijanian, M. Kloetzer, S. Itani, C. Belta, and S. Andersson, Automatic deployment of autonomous cars in a robotic urban-like environment (RULE), IEEE International Conference on Robotics and Automation (ICRA), Kobe, Japan, pp. 2055 – 2060, 2009 [C47] M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, Proceedings of the 47th IEEE Conference on Decision and Control (CDC08), Cancun, Mexico, pp. 245-250, 2008 [C46] M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, IEEE Conference on Decision and Control (CDC), Cancun, Mexico, pp. 793-798, 2008 [C45] B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, pp. 2667 – 2772, WA 2008 [C44] M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, pp. 393-398, 2008 [C43] M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, 11th International Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis, pp. 287-300, 2008 [C42] B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, 11th International Conference on Hybrid Systems: Computation and Control, (HSCC), St. Louis, pp. 542-555, 2008 [C41] M. Kloetzer and C. Belta, Control of multi-robot teams based on LTL specifications, 4th IFAC Conference on Management and Control of Production and Logistics, Sibiu, Romania, 2007 [C40] B. Yordanov, G. Batt, and C. Belta, Model checking discrete time piecewise affine systems: application to gene networks, European Control Conference (ECC), Kos, Greece, 2007


[C39] M. Imielinski and C. Belta, On the computation of minimal cut sets in genome scale metabolic networks, American Control Conference (ACC), New York, NY, pp. 1329-1334, 2007 (best paper in session) [C38] M. Kloetzer and C. Belta, Managing non-determinism in symbolic robot motion planning and control, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, pp. 3110-3115, 2007 [C37] G. Batt, C. Belta, and R. Weiss, Model checking liveness properties of genetic regulatory networks, 13th Int. Conf.on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Braga, Portugal, pp. 323-338, 2007 [C36] G. Batt, C. Belta and R. Weiss, Model checking genetic regulatory networks with parameter uncertainty, 10th International Workshop on Hybrid Systems: Computation and Control (HSCC), Pisa, Italy, pp. 61-75, 2007 [C35] M. Kloetzer, L.C.G.J.M. Habets and C. Belta, Control of rectangular multi-affine hybrid systems, Proceedings of the 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, pp. 2619-2624, 2006 [C34] M. Kloetzer and C. Belta, A framework for automatic deployment of robots in 2D and 3D environments, IEEE/RSJ International Conference on Intelligent Robots and Systems, (IROS), Beijing, China, pp. 953-958, 2006 [C33] N. Michael, C. Belta, and V. Kumar, Controlling three dimensional swarms of robots, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, pp. 964-969, 2006 [C32] M. Kloetzer and C. Belta, Hierarchical abstractions for robotic swarms, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, pp. 952-957, 2006 [C31] M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, 9th International Workshop on Hybrid Systems: Computation and Control (HSCC), Santa Barbara, CA, pp. 333 – 347, 2006 [C30] M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, 9th International Workshop on Hybrid Systems: Computation and Control (HSCC), Santa Barbara, CA, pp. 348 – 362, 2006 [C29] M. Kloetzer and C. Belta, LTL planning for groups of robots, IEEE International Conference on Networking, Sensing, and Control, Ft. Lauderdale, pp. 578-583, 2006 [C28] C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinksi, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, 7th International Workshop on Hybrid Systems: Computation and Control, Philadelphia, PA, March, pp. 111-126, 2004 [C27] C. Belta, On controlling aircraft and underwater vehicles, IEEE International Conference on Robotics and Automation, New Orleans, LA, April, pp. 4905-4910, 2004 [C26] C. Belta and L.C.G.J.M. Habets, Constructing decidable hybrid systems with velocity bounds, 43rd IEEE Conference on Decision and Control, pp. 467-472, 2004 [C25] V. Isler, C. Belta, K. Daniilidis, and G. J. Pappas, Stochastic Hybrid Control for Visibility-Based Pursuit-Evasion Games, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004 [C24] C. Belta. G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, 11th International Symposium of Robotics Research, Siena, Italy, , pp. 224-233, Oct. 2003 [C23] C. Belta, G. Pereira, and V. Kumar, Control of a team of car-like robots using abstractions, 42nd IEEE Conference on Decision and Control, CDC, Maui, Hawaii, pp. 1520 – 1525, Dec. 2003


[C22] C. Belta and V. Kumar, Abstraction and control for groups of fully – actuated planar robots, IEEE International Conference on Robotics and Automation, Taipei, Taiwan, pp. 2498 – 2503, Sept. 2003 [C21] R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, International Conference on High Performance Computing, Bangalore, India, pp. 702-713, Dec. 2002 [C20] C. Belta and V. Kumar, Towards abstraction and control for large groups of robots, 2nd International Workshop on Control Problems in Robotics and Automation, Las Vegas, NV, pp. 169 – 182, Dec. 2002 [C19] C. Belta, L. Habets, and V. Kumar, Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks, 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 534-539, Dec. 2002 [C18] C. Belta and V. Kumar, Motion generation for groups of robots: a centralized, geometric approach, ASME DETC, Montreal, Canada, Oct. 2002 [C17] C. Belta and V. Kumar, Trajectory design for formations of robots by kinetic energy shaping, IEEE International Conference on Robotics and Automation, Washington, DC, May 2002 [C16] C. Belta, J. Schug, T. Dang, V. Kumar, G. J. Pappas, H. Rubin, and P. V. Dunlap, Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, 40th IEEE CDC, Orlando, Florida, pp. 869-874, 2001 [C15] R. Fierro, C. Belta, J. Desai, and V. Kumar, On controlling aircraft formations, 40th IEEE CDC, Orlando, Florida, pp. 1065-1070, 2001 [C14] C. Belta and V. Kumar, Designing trajectories for formations of fully actuated robots, 5th SIAM Conference on Control and its Applications, San Diego, CA, July 2001 [C13] R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, pp. 19-32, March 2001 [C12] C. Belta and V. Kumar, On the computation of rigid body motion, 2nd Workshop on Computational Kinematics, Seoul, Korea, May 2001 [C11] C. Belta and V. Kumar, Motion generation for formations of robots: a geometric approach, IEEE International Conference on Robotics and Automation, Seoul, Korea, pp. 1245-1250, 2001 [C10] C. Belta and V. Kumar, An efficient, geometric approach to rigid body motion interpolation, ASME 2000 International Design Engineering Technical Conferences and the Computers and Information in Engineering Conference, Baltimore, Maryland, September, 2000 [C9] C. Belta and V. Kumar, New metrics for rigid body motion interpolation, Ball 2000 Symposium Commemorating the Legacy, Works, and Life of Sir Robert Stawell Ball, University of Cambridge, UK, July, 2000 [C8] C. Belta, G. Gu, A. Sparks, and S. Banda, Rotating Stall Control for Axial Flow Compressors, 37th IEEE Conference on Decision and Contol, Tampa, Florida, pp. 2551-2556, December, 1998 [C7] C. Belta, G. Gu, A. Sparks, and S. Banda, Stall Control for Axial Compressors, 14th World Congress of IFAC, Beijing, China, July, 1999 [C6] C. Botan and C. Belta, Some Aspects Concerning the Controller Implementation for the Discrete LQ-Problem, 5th Symposium on Automatic Control and Computer Science, Iasi, 1995, Vol. 1, pp.275-278.


[C5] C. Botan, M. Postolache, A. Onea, and C. Belta, An Implementation of the Controller for LQ Optimal Problem, 10th International Conference on Control Systems and Computer Science, Bucharest, Vol.1, pp.83-86, 1995. [C4] C. Botan and C. Belta, Weight Selection in the LQ Problem with Finite Final Time, 10th IFAC Workshop on Control Applications on Optimization, Haifa, pp.117 – 123, 1995. [C3] C. Botan and C. Belta, On the Optimal Controller for Singular Systems, 11th International Conf. on Control Systems and Computer Science, Bucharest, 1997, Vol. 1, pp. 36-41. [C2] C. Botan, C. Belta, and A. Onea, A Model-Following Problem for an Electrical Drive System, 11th International Conf. on Control Systems and Computer Science, Bucharest, 1997, Vol.1, pp. 42-54. [C1] A. Onea, C. Botan. and C. Belta, A Model-Following Control Implementation for Electrical Drive Systems, 6th Int. Symposium on Automatic Control and Computer Science, Iasi, 1998, pp. 291-296. CONFERENCE ABSTRACTS AND POSTERS [P8] N. Trivedi, C. Belta, and S. Amar, Determining Genes that Control the Genetic Network of Obese Subjects in Response to Infection, BU Bioinformatics Program, 10th Anniversary Symposium, 2009 [P7] N. Trivedi, C. Belta, and S. Amar, Determining Genes that Control the Genetic Network of Obese Subjects in Response to Infection, Boston University Genome Science Institute (GSI) Symposium (October 8, 2009) [P6] G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Synthetic Biology 3.0, Zurich, Switzerland, 2007 [P5] M. Imielinski and C. Belta, Uncovering complex essential reaction sets in E.coli metabolism through pathway fragment analysis, 8th International Conference on Systems Biology (ICSB), Long Beach, California, Oct. 2007 [P4] G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Journées Ouvertes Biologie, Informatique et Mathématiques (JOBIM), Marseille, France, 2007 [P3] G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks with parameter uncertainties, Engineering Principles in Biological Systems, Cold Spring Harbor, NY, 2006 [P2] M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing elementary combinations of producible species in metabolic networks, Foundations of Systems Biology and Engineering, University of California, Santa Barbara, Aug. 2005 [P1] M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Probing metabolite essentiality through in silico genome scale analysis of E.coli production capabilities, 5th International Conference on Systems Biology, Heidelberg, Germany, Oct. 2004 (Best Poster Award) SOFTWARE TOOLS (All available at http://hyness.bu.edu/Software.html) A. Ulusoy, et. al., LOMP (LTL Optimal Multi-Robot Planner) E. Aydin Gol and C. Belta, LanGuiCS (Language-Guided Controller Synthesis) A. Ulusoy et. al., LROMP (LTL Robust Optimal Multi-Robot Planner)


E. Aydin Gol and C. Belta, TcCS-MF (Time Constrained Controller Synthesis for Multi-Affine Systems) G. Batt and C. Belta, RoVerGeNe (Robust Verification of Gene Networks), M. Kloetzer and C. Belta, LTLCon (Linear Temporal Logic Control of Linear Systems), M. Kloetzer and C. Belta, RAMAS (Reachability Analysis of Multi-Affine Systems), M. Kloetzer and C. Belta, ADR23 (Automatic deployment of robots in 2D and 3D environments) B. Yordanov and C. Belta, FAPAS (Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty) B. Yordanov and C. Belta, ParSyPAS (Parameter Synthesis for Piecewise Affine Systems) B. Yordanov and C. Belta, conPAS (Temporal Logic Control of Discrete-Time Piecewise Affine Systems) INVITED LECTURES IN ACADEMIA [L51] Georgia Institute of Technology, School of Aerospace Engineering, (04/04/2013) - “Formal Methods for

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

Systems” [L49] National University of Singapore, Singapore, Mechanical Engineering, (02/05/2013) - “Formal Methods for

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

Methods for Discrete-Time Linear Systems” [L47] University of Illinois, Urbana Champaign, Coordinated Science Laboratory, (02/22/2012) - “Formal Methods

for Dynamical Systems” [L46] 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” [L45] TU Eindhoven, Department of Electrical Engineering, Eindhoven, Netherlands, (11/16/2011) - “Verification

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

Piecewise Affine Systems with Applications to Synthetic Biological Networks” [L43] 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” [L42] Groupe de Recherche Modelisation, Analyse et Conduite des Systemes Dynamiques, Paris, France,

(10/13/2011) - “Formal Approaches to Motion Planning and Control” [L41] INRIA, Rocquencourt, France, (10/10/2011) - “Formal Verification and Control of Piecewise Affine Systems

with Applications to Biological Networks” [L40] Carnegie Mellon University, School of Computer Science, (06/03/2011) - “Formal Verification and Synthesis

of Discrete-Time Piecewise Affine Systems”


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

[L38] Harvard University, School of Engineering and Applied Sciences, (02/11/2010) - “Synthesis of Provably-

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

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

Provably-Correct Control and Communication Strategies for Distributed Systems” [L35] Masaryk University, Department of Informatics, (05/27/2009) – “Temporal Logic Motion Planning and

Control” [L34] Masaryk University, Department of Informatics, (05/28/2009) – “Scalable algorithms for analysis and control of biochemical networks” [L33] Harvard University, Department of Electrical Engineering, (02/06/2009) – “Temporal logic motion planning

and control” [L32] Northeastern University, Center for Complex Networks Research, Department of Physics, (02/02/2009) –

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

the functional organization and robustness of genome scale metabolism” [L30] Massachusetts Institute of Technology, Mechanical Engineering, (05/15/2008) – “Automatic deployment of

robotic teams from rich specifications” [L29] Nanyang Technological University, Singapore, Division of Control and Instrumentation, (03/07/2008) –

“Distributed Executions of Rich, Global Motion Specifications [L28] University of California, Santa Barbara, Center for Control, Dynamical Systems, and Computation (CCDC),

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

(02/12/2008) – “Distributed implementations of global temporal logic motion specifications” [L26] National University of Singapore, Electrical and Computer Engineering, (08/13/2007) – “Temporal logic

motion planning and control for robotic swarms” [L25] Columbia University, Electrical Engineering, (04/18/2007) – “Scalable Algorithms for Analysis of Metabolic

and Gene Networks” [L24] Technische Universiteit Eindhoven, Electrical Engineering, (04/02/2007) – “Verification and Control of

Hybrid Systems: Applications to Biochemical and Robotic Networks” [L23] University of California, Berkeley, Mechanical Engineering, (03/15/2007) – “Temporal logic motion planning

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

planning and control for robotic swarms”


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

[L20] City College of New York, Electrical and Computer Engineering, (02/20/2007) – “Temporal logic motion

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

and control” [L18] Boston University, Center for BioDynamics, (05/24/06) – “Abstractions for swarms and biochemical

networks” [L17] Boston University, Bioinformatics, (03/23/06) – “Analysis of metabolic and genetic networks” [L16] 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” [L15] Boston University, Manufacturing Engineering Department, (02/19/06) – “Analysis of metabolic and genetic

networks” [L14] Boston University, Computer Science Department, (02/01/06) – “Analysis of metabolic and genetic networks” [L13] Boston University, Center for Information and Systems Engineering (09/30/05) – “Hierarchical Abstractions

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

Abstractions for Robot Motion Planning and Control” [L11] Dartmouth College, Thayer School of Engineering Science (03/25/05) – “Abstractions for Robot Motion Planning and Control” [L10] Duke University, Mechanical Engineering and Materials Science (02/23/05) – “Abstractions for Robot

Motion Planning and Control” [L9] University of Pennsylvania, GRASP Lab Seminar Series (01/21/05) – “Abstractions for Planning and Control

of Robotic Swarms” [L8] University of Virginia, Mechanical and Aerospace Engineering (11/29/04) – “Analysis of Metabolic and

Genetic Networks” [L7] Boston University, Manufacturing Engineering (11/10/04) – “Analysis of Metabolic and Genetic Networks” [L6] Drexel University, Physics (04/22/04) – “Reachability Analysis and Control of Rectangular Multi-Affine

Hybrid Systems” [L5] Drexel University, Biomedical Engineering (02/13/04) – “Analysis of metabolic and genetic networks” [L4] University of Notre Dame, Center for Applied Mathematics (02/06/04) - “Reachability Analysis and Control of

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

Rectangular Multi-Affine Hybrid Systems”


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

[L1] Princeton University, Electrical Engineering (01/14/03) – “Modeling, analysis, and control of genetic

networks” INVITED PRESENTATIONS AT WORKSHOPS, CONFERENCES, AND IN INDUSTRY 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” Hybrid Systems: Computation and Control (HSCC) (April 17 2012, Beijing, China) – “Formal Methods for Dynamical Systems” (invited plenary talk) 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” PROFESSIONAL ACTIVITIES Conference Chairs and Organizing Committees:

• Chair, Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Philadelphia, USA, April 2013

• Chair, NSF Workshop on Formal Composition of Motion Primitives, MIT, Cambridge, USA, June 12, 2012 • Workshops Chair, IEEE Int. Conference of Robotics and Automation, Anchorage, AK, May 2010 • Webmaster, IEEE Conference on Decision and Control (CDC), Shanghai, China, Dec 2009

Conference Program Committees:

• Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Berlin, Germany, April 2014 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA, April 2013 • 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Koblenz,

Germany, September 2013 • Second Workshop on Hybrid Systems and Biology, September 2013, Italy • Robotics: Science and Systems (RSS), Berlin, Germany, June 2013 • Robotics: Science and Systems (RSS), Sydney, Australia, July 2012 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Beijing, China, April 2012 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011 • 10th International Symposium on Distributed Autonomous Systems (DARS), Lausanne, Switzerland, Nov.

2010 • IEEE Multi-Conference on Systems and Control, (MSC), Saint Petersburg, Russia, July, 2009 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), San Francisco, CA, USA, April 2009 • Robotics: Science and Systems (RSS), Zurich, Switzerland, June 2008 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), St. Louis, USA, April 2008 • 13th International Conference on Advanced Robotics (ICAR), Jeju Island, Korea, 2007


• IEEE/RSJ Int. Conference on Intelligent Robots and Systems (IROS), San Diego, CA, October 2007 • Int. Conf. on Robot Communication and Coordination (ROBOCOMM), Athens, Greece, Sept. 2007 • 26th American Control Conference (ACC), New York, NY, July 2007 • IEEE Int. Conference on Robotics and Automation (ICRA), Rome, Italy, 2007 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Pisa, Italy, March 2007 • IEEE/RSJ Int. Conference on Intelligent Robots and Systems (IROS), Beijing, China, October 2006 • IEEE Int. Conference on Robotics and Automation (ICRA), FL, May 2006 • Int. Workshop on Hybrid Systems: Computation and Control (HSCC), Santa Barbara, CA, March 2006 • IEEE Int. Conference on Robotics and Automation (ICRA), Barcelona, Spain, May 2005 • Robotics: Science and Systems (RSS), Boston, MA, June 2005 • IEEE/RSJ Int. Conference on Intelligent Robots (IROS), Edmonton, Canada, August 2005 • Int. Conference on Advanced Robotics (ICAR), Seattle, WA, July 2005

Editorial Activities and Technical Committees:

• Chair of IEEE CSS Technical Committee on Systems Biology (2012 – present) • Associate Editor, SIAM Journal on Control and Optimization (SICON) (2008 – present) • Member of the IEEE CSS Technical Committee on Systems Biology (2009 - 2012) • Member of the IEEE CSS Technical Committee on Networks and Communications – Chair of the Working

Group on Biological Networks (2009 – present) • Member of the IFAC Technical Committee on Discrete Event and Hybrid Systems, Oct. 2008 - • Associate Editor, Conference Editorial Board of the IEEE Control Systems Society (2006-2009) • Associate Editor, Conference Editorial Board of the IEEE Robotics and Automation Society (2006-2009) • Steering Committee Member, IEEE RAS Technical Committee on Algorithms for Planning and Control of

Robot Motion (2006-2008) Panels:

• NSF Panel March 2005, NSF Panel May 2005, NSF Panel October 2005, NSF Panel May 2006, NSF Panel Sept. 2006, NSF Panel June 2007, NSF Panel October 2007, NSF Panel January 2008, NSF Summit on Cyber-Physical Systems April 2008, NSF Panel Oct. 2008, NSF Panel June 2009, NSF Panel April 2010, NSF Panel May 2012, NSF Panel June 2013, NSF Panel August 2013.

Organized Workshops and Invited Sessions:

• Invited session on Formal Methods in Control (organizer, with Tichakorn Wongpiromsarn, as part of CDC), Maui, Hawaii, Dec 2012

• NSF Workshop on Formal Composition of Motion Primitives, MIT, Cambridge, USA, June 12, 2012 • Invited session on Formal Methods for Analysis and Controller Synthesis (organizer, with Dennis Ding and

Mircea Lazar, as part of ACC), Montreal, Canada, June 2012 • Invited session on Approaches for guaranteeing high-level robot behaviors (organizer, with Hadas Kress

Gazit, as part of ICRA), Saint Paul, Minnesota, USA, May 2012 • Invited session on Identification and Analysis of Biological Networks (organizer, with Agung Julius, as

part of CDC), Orlando, Florida, Dec. 2011 • Invited session on Symbolic Approaches to Control of Dynamical Systems (organizer, with Sean

Andersson, as part of CDC), Shanghai, China, Dec. 2009 • Workshop on Hybrid Systems Biology (organizer, with Radu Grosu, as part of HSCC), San Francisco, CA,

USA, April 2009 • Invited Session on Analysis and Control of Biochemical Networks (organizer, with Agung Iulius, as part of

CDC), Cancun, Mexico, Dec. 2008 • Invited Session on Symbolic Methods for Control of Mobile Robots (organizer, with Magnus Egerstedt, as

part of ICRA), Rome, March 2007 • Workshop on Symbolic Approaches to Robot Planning and Control (organizer, with George J. Pappas), (as

part of Robotics: Science and Systems), University of Pennsylvania, Philadelphia, PA, Aug. 2006


Service:

• Chair of BU Mechanical Engineering Seminars Committee, 2012 • Member of the ME Grad Committee 2010-2012 • Member of the SE Grad Committee 209-2013 • Member of the BME Systems and Synthetic Biology Faculty Search Committee, 2010 • Member of the ME Controls Faculty Search Committee, 2010 • Chair of the Posters Committee, Systems Engineering, Fall 2008 • Member of the Graduate Committee, Bioinformatics, BU, Dec. 2009 - • Member of the Graduate Committee, Mechanical Engineering, Dept., BU, Sept. 2008 - • Member of the Website Committee, Mechanical Engineering, Dept., BU, Sept. 2008 - • Member of the Graduate Committee, Manufacturing Engineering Dept., BU, Sept. 2005 – July 2008 • Member of the Math Qualifier Committee, College of Engineering, BU, Sept. 2005 – July 2008 • Member of the Retreat Planning Committee, Manufacturing Engineering Department, BU, Sept. 2006 –

July 2008 TEACHING EXPERIENCE Mechanical Eng. / Systems Eng. / Bioinformatics, Boston University, July. 2005 - Present

• Introduction to Linear Algebra,(undergrad level), Fall 2005, Spring 2011, Spring 2012, Fall 2012 • Introduction to Robotics (undergrad level, new course), Fall 2006, Spring 2008 • Robot Motion Planning (grad level, new course), Spring 2007, Fall 2008 • Dynamics and Evolution of Biological Networks (grad level, new course), Spring 2007 • Hybrid Systems: Theory, Computation, and Applications (grad level, new course), Fall 2007 • Nonlinear Systems and Control (grad level), Spring 2009 • Engineering Mechanics II (undergrad level), Fall 2009, Spring 2010

Mechanical Engineering and Mechanics, Drexel University, Sept. 2003 – July 2005

• Introduction to Controls,(undergrad level), Fall 2003, Winter 2004, Fall 2004, Winter 2005 • Introduction to Systems Biology (grad level, new course), Spring 2004 • Hybrid Systems Theory and Computation (grad level, new course), Spring 2005

SUPERVISION OF PHD STUDENTS Cristian Vasile, Systems Engineering, 2012 - present Austin Jones, Systems Engineering, 2011 - present Ebru Aydin, Systems Engineering, 2010 - present Alphan Ulusoy, Systems Engineering, 2010 - present Ana Medina Ayala, Mechanical Engineering, 2009 - present Igor Cizelj, Systems Engineering, BU, 2009 – present Guilhem Richard, Bioinformatics, BU, 2009 – present Yushan Chen, Electrical Engineering, BU, 2009 – 2013 (now at Orbeus) Morteza Lahijanian, Mechanical Engineering, BU, 2006 – 2012 (now a Research Associate at Rice University) Boyan Yordanov, Biomedical Engineering, BU, 2006 – 2010 (now at Microsoft Research, Cambridge, UK) Marius Kloetzer, Systems Engineering, BU, 2004 – 2008 (now an Associate Professor at Technical Univ. of Iasi) SUPERVISION OF MS STUDENTS Kevin Leahy, Mechanical Engineering, 2012 - present Michael Marrazzo, Mechanical Engineering, 2011-present


Niraj Trivedi, Bioinformatics, BU, 2009 – 2011 (now at NIH) Joe Wasniewski, Manufacturing Engineering, 2008-2009 (now at Raytheon) Hongqiang Lou, Systems Engineering, 2007 – 2008 Claudiu Lefter, Systems Engineering, 2005 – 2007 Victor Ma, Electrical and Computer Engineering, 2009-2010 (now at Mitre) SUPERVISION OF UNDERGRADUATE STUDENTS Konstantinos Oikonomopoulos (2011 – present, Lutchen Fellow Summer 2013) Peter Ishiguro (Lutchen Fellow Summer 2013) POSTDOCTORAL ASSOCIATES Zhaodan Kong, 2012 - present Huili Yu, Sept. 2011 – Feb. 2012 Boyan Yordanov, Feb 2011 – Sept. 2011 (now a Researcher at Microsoft Research, Cambridge, UK) Hyeygjeon Chang, Oct. 2010 - May 2011 Xu Chu (Dennis) Ding, Jan. 2010 – October 2011 (now a Research Engineer at United Technologies Research Center, USA) Gregory Batt, 2005-2006 (now a Research Scientist at INRIA, France) VISITING SCIENTISTS Ilya Kukushkin, Technical University of Vienna, March 2013 – July 2013 Maria Svorenova, Masaryk University, Feb. 2012 – June 2012 Mircea Lazar, Eindhoven University of Technology, Apr – Aug. 2011 Jana Tumova, Masaryk University, Oct. 2009 – Feb. 2010, May 2011 – Sept. 2011 HIGH SCHOOL STUDENTS (RISE Intern, Summer 2013) Ethan Bradlow (Discovery Intern, Summer 2013) Matthew Buckley (Christian Brothers Academy, Lincroft, NJ) Benjamin Bernays (Gant Academy, now at Boston University) Sara Itani (BU Academy, now at MIT) Samuel Birch (BU Academy, now at Brown University) PHD COMMITTEE MEMBERSHIP Swati Carr, Bioinformatics Yanfeng Geng, Systems Engineering Sylvanus Lee, Mechanical Engineering (Committee Chair) Hanieh Mirzaei, Systems Engineering Elham Azizi, Bioinformatics Graham Rockwell, Bioinformatics Jonathan Dreyfuss, Bioinformatics Amrita Kar, Bioinformatics David Byrne, Bioinformatics (Committee Chair) Chris Jacobs, Bioinformatics (Committee Chair) Na Sun, Systems Engineering Ed Reznik, Bioinformatics Yingwei Lin, Systems Engineering


Niels Klitgort, Bioinformatics, Apr 2011 (Committee Chair) Bill Riehl, Bioinformatics, Mar 2011 Hsuan-Chao Chiu, Bioinformatics, 2011 Varun Mazumdar, Bioinformatics, 2011 Reza Moazzez Estanjini, Systems Engineering, 2011 IN THE MEDIA BU Today: “Life is Sweet”, December 3, 2012 http://www.bu.edu/today/2012/life-is-suite/ Discovery News: “Batcopter Flies Among Nocturnal Colonies”, June 15, 2011 http://news.discovery.com/tech/batcopter-flies-among-nocturnal-colonies-110615.html Discover Magazine: “DIY “Batcopter” Flies with Bats, Scares the Pants Off Them For Science”, June 14, 2011 http://blogs.discovermagazine.com/discoblog/2011/06/17/diy-batcopter-flies-with-bats-scares-the-pants-off-them-for-science/, IEEE Spectrum: “Batcopter Does High-Tech Robotic Bat Harassment for Science” http://spectrum.ieee.org/automaton/robotics/diy/batcopter-does-hightech-robotic-bat-harassment-for-science, June 14, 2011 Popular Science: “Batcopter Flies Along With Bat Swarms, Helping Researchers Study Bat Behavior Up Close” http://www.popsci.com/technology/article/2011-06/batcopter-flies-bat-swarms-helping-researchers-study-bat-flight-patterns, June 15, 2011 Channel 5 Evening News: “Could Robot Soon Replace Your Job?” http://www.thebostonchannel.com/money/27404150/detail.html, April 2011 ScienceDaily: “Cancer-Metabolism Link Runs Deep in Humans, Novel Network Algorithm Suggests” http://www.sciencedaily.com/releases/2010/07/100721154238.html, July 23, 2010 Before It’s News: “Cancer-Metabolism Link Runs Deep In Humans Say Researchers”, http://beforeitsnews.com/story/109/618/Cancer-Metabolism_Link_Runs_Deep_In_Humans_Say_Researchers.html, July 21, 2010 MIT Technology Review: Cutting-Edge Robots Show Off in Japan, May 2009 http://www.technologyreview.com/computing/22635/page2/

Calin A. Belta - Boston Universitysites.bu.edu/hyness/files/2014/05/resume_complete_no_ref.pdf ·...

Documents

Transcript of Calin A. Belta - Boston Universitysites.bu.edu/hyness/files/2014/05/resume_complete_no_ref.pdf ·...