Sadegh Soudjani : Publications

Book chapters

• [1]

  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

• [2]

  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

Journal papers

• [1]

  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

• [2]

  Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

  S. Esmaeil Zadeh Soudjani and A. Abate

  In SIAM Journal on Applied Dynamical Systems. Vol. 12. No. 2. Pages 921−956. 2013.

  Details about Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes | BibTeX data for Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes | DOI (10.1137/120871456) | Link to Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes