Calin is a Distinguished Lecturer of the IEEE Control System Society

December 30th, 2018 in Uncategorized

The appointment for the Distinguished Lecturer of the IEEE Control System Society starts January 1, 2019 and ends December 31, 2021.

Details about the program can be found here:

http://www.ieeecss.org/member-activities/distinguished-lecturers-program

Calin teaches an EECI course in Paris, Saclay, Jan 14-18, 2018

December 30th, 2018 in Uncategorized

The course is titled “Formal Methods in Control Design – from Discrete Synthesis to Continuous Controllers” and is co-taught with Antoine Girard. It is offered as part of the INTERNATIONAL GRADUATE SCHOOL ON CONTROL (IGSC) PROGRAM in the European Embedded Control Institute (EECI).

To register, follow this link:

http://eeciinstitute.web-events.net/registration/

The schedule is available here:

http://eeciinstitute.web-events.net/timetables/

Summary of the course

Antoine Girard

CNRS

https://sites.google.com/site/antoinesgirard/

Summary:

In control theory, complex models of continuous physical processes, such as systems of differential or difference equations, are usually checked against simple specifications, such as stability and set invariance. With the development and integration of cyber-physical and safety-critical systems, there is an increasing need for tools to design controllers for richer specifications. The main objective of this course is to present formal methods in control design. The key concept of these approaches is that of discrete abstraction (a.k.a. symbolic model), which is a finite-state dynamical system, obtained by abstracting continuous trajectories over a finite set of symbols. When the abstraction and the continuous dynamics are formally related by some behavioral relationship (e.g. simulation or bisimulation relations), controllers synthesized for the abstraction can be refined to certified controllers for the original continuous system. Moreover, since the abstractions are discrete, controllers can be synthesized automatically, using discrete synthesis techniques, for rich specifications such as languages or formulas of temporal logics. In this course, we will cover all aspects of formal methods in control design from the computation of discrete abstractions, to discrete synthesis and controller refinement.

Outline

1. The need for formal methods in control design

2. Systems, behaviors and relations among them

3. Discrete abstractions of continuous systems

3.1 Partition-based approaches

3.2 Lyapunov-based approaches

3.3 Abstraction via feedback

4. Controller synthesis using discrete abstractions

4.1 Finite temporal logic control

4.2 Language-guided control systems

4.3 Optimal temporal logic control

Morteza is moving on to a tenure-track faculty position

July 18th, 2018 in Uncategorized

Morteza Lahijanian, who got his PhD under the supervision of Calin Belta and Sean Andersson, will start a tenure-track faculty position in the Department of Aerospace Engineering at the University of Colorado at Boulder in the Fall of 2018.

Calin is awarded the 2017 IEEE Transactions on Control of Network Systems (TCNS) Outstanding Paper Award

March 1st, 2018 in Uncategorized

For the paper

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, vol. 3, no. 2, pp. 162 – 171, June 2016

http://www.ieeecss.org/awards/transactions-control-network-systems-outstanding-paper-award

 

 

Calin is co-organizing the first NSF S&AS PI meeting

March 1st, 2018 in Uncategorized

Inaugural Smart and Autonomous Systems PI Meeting

April 5–6, 2018 at the Hilton Alexandria Old Town in Alexandria, Virginia. 

http://robotics.gatech.edu/SASPI/

 

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/