Sadegh Soudjani : 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

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