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
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 […]
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.
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
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.
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