Category: Uncategorized

Junmin was awarded the Best Posters Prize at Harvard-Pfizer Conference

November 26th, 2017 in Uncategorized

Junmin Wang was awarded the Best Posters Prize for his poster “Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells” at Harvard-Pfizer Conference Mathematical Modeling and Healthcare Applications (co-sponsored by ISoP) in November, 2017.

New book on formal methods for dynamical systems

March 23rd, 2017 in Uncategorized

Our book

Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017 (ISBN: 978-3-319-50762-0) was published and is available at: https://link.springer.com/book/10.1007/978-3-319-50763-7

Kevin successfully defended his PhD thesis

December 7th, 2016 in Uncategorized

Kevin Leahy successfully defended his PhD thesis titled Multi-Agent Persistent Surveillance under Temporal Logic Constraints

6 papers accepted at 55th CDC from HyNeSs group

July 25th, 2016 in Uncategorized

6 papers from the HyNeSs Group have been accepted at the 55th Conference on Decision and Control:

Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta, Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta, Control in Belief Space with Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Demarcus Briers, Iman Haghighi, Douglas White, Melissa Kemp, Calin Belta, Pattern Synthesis in a 3D Agent-Based Model of Stem Cell Differentiation, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Sadra Sadraddini, Calin Belta, Safety Control of Monotone Systems with Bounded Uncertainties, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Iman Haghighi, Sadra Sadraddini, Calin Belta, Robotic Swarm Control from Spatio-Temporal Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear)

Calin is awarded the inaugural Tegan Family Faculty Fellowship

April 19th, 2016 in Uncategorized

”The Tegan Family Distinguished Faculty Fellow honors a mid-career (Associate to early Full Professor) faculty for extraordinary performance and impact in research, teaching and service to the College and profession. The Distinguished Faculty Fellow is an honor awarded to tenured faculty who are on a clear trajectory to extraordinary leadership careers in all dimensions of engineering science and education.”

For more information see:
http://www.bu.edu/systems/2016/04/11/congratulations-to-calin-belta-inaugural-holder-of-the-tegan-family-distinguished-faculty-fellowship/

Cristian begins Postdoc position at MIT

April 19th, 2016 in Uncategorized

Cristian-Ioan Vasile successfully defended his PhD thesis, and has moved on to a postdoc position at MIT.

Cristian successfully defended his PhD thesis

April 7th, 2016 in Uncategorized

Cristian-Ioan Vasile successfully defended his PhD thesis titled Motion Planning and Control: A Formal Methods Approach

Derya is moving to a postdoctoral position at MIT

April 7th, 2016 in Uncategorized

Derya Aksaray is moving to a postdoctoral position at MIT: Computer Science and Artificial Intelligence Laboratory.

Aamodh successfully defended his Master’s thesis

April 5th, 2016 in Uncategorized

Aamodh Suresh successfully defended his Master’s thesis.

Title:

Body Swarm Interface (BOSI) – Controlling robotic swarms using human bio-signals

Committee:
Prof. Mac Schwager (ME) (advisor)
Prof. John Baillieul (ME)
Prof. Calin Belta (ME)

BU Robotics Lab in ENG News

April 3rd, 2016 in Uncategorized

The new BU Robotics Lab was featured in the College of Engineering News on March 3rd 2016. The full article is available at http://www.bu.edu/me/2016/03/03/drone-home/