Sadegh Soudjani

Sadegh Soudjani

Research Assistant

Leaving date: 30th April 2016

See Also:

• Personal webpage

Interests

My research interests lie on the analysis, verification, and controller synthesis of complex dynamical models -- in particular of stochastic hybrid systems -- and in their applications in cyber-physical systems, including smart grids, energy networks, and max-plus linear systems.

Biography

I am moving to Max Planck Institute for Software Systems, Germany, to work with Professor Rupak Majumdar. This page will not be updated anymore.

I am a postdoctoral researcher in the Department of Computer Science at the University of Oxford. I received a BSc degree in Electrical Engineering in 2006, a BSc in Mathematics in 2007, and an MSc in Control Engineering in 2009, all with distinction from the University of Tehran, Iran. My master's thesis was on the nonlinear observability of electrical drive systems, under the supervision of Professor F.R. Salmasi. I earned my PhD in November 2014 in the department Delft Center for Systems and Control (DCSC) at Delft University of Technology, the Netherlands, under the supervision of Professor Alessandro Abate. During my PhD, I was working on formal methods for automated verification and synthesis of stochastic systems applied to energy networks, systems biology, and transportation systems. My PhD thesis won the DISC Best Thesis Award for the best thesis defended in the field of Systems and Control in the Netherlands. After my PhD, I was a visiting researcher at Max Planck Institute for Software Systems, Germany, working with Professor Rupak Majumdar. Please feel free to contact me if you are interested in my research activities.

Selected Publications

View AllManage publications

• Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

  S. Esmaeil Zadeh Soudjani and A. Abate

  In Control Systems Technology‚ IEEE Transactions on. Vol. 23. No. 3. Pages 975−990. May, 2015.

  Details about Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions | BibTeX data for Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions | DOI (10.1109/TCST.2014.2358844) | Link to Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

• FAUST²: Formal Abstractions of Uncountable−STate STochastic Processes

  S. Esmaeil Zadeh Soudjani‚ C. Gevaerts and A. Abate

  In Christel Baier and Cesare Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems. Vol. 9035 of Lecture Notes in Computer Science. Pages 272−286. Springer Berlin Heidelberg. 2015.

  Details about FAUST²: Formal Abstractions of Uncountable−STate STochastic Processes | BibTeX data for FAUST²: Formal Abstractions of Uncountable−STate STochastic Processes | DOI (10.1007/978-3-662-46681-0_23) | Link to FAUST²: Formal Abstractions of Uncountable−STate STochastic Processes

• Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance

  S. Esmaeil Zadeh Soudjani and A. Abate

  In Erika Άbrahám and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems. Vol. 8413 of Lecture Notes in Computer Science. Pages 547−561. Springer Berlin Heidelberg. 2014.

  Details about Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance | BibTeX data for Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance | DOI (10.1007/978-3-642-54862-8_45) | Link to Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance

Supervisor