S. Esmaeil Zadeh Soudjani, A. Abate, and R. Majumdar, "Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes," Acta Informatica, Springer, December 2015, submitted.
S. Esmaeil Zadeh Soudjani, D. Adzkiya, and A. Abate, "Formal Verification of Stochastic Max–Plus–Linear Systems," IEEE Transactions on Automatic Control, November 2015. [BibTeX] [URL] [PDF]
@ARTICLE{EZSDAAA15,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and D. Adzkiya and A. Abate},
TITLE = {Formal Verification of Stochastic Max–Plus–Linear Systems},
JOURNAL = {Automatic Control, IEEE Transactions on},
VOLUME = {PP},
NUMBER = {99},
PAGES = {1-1},
YEAR = {2015},
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions," Logical Methods in Computer Science, 2015. [BibTeX] [URL] [PDF]
@ARTICLE{SALMCS15,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Quantitative Approximation of the Probability Distribution of a {M}arkov Process by Formal Abstractions},
JOURNAL = {Logical Methods in Computer Science},
VOLUME = {11},
NUMBER = {3}
YEAR = {2015},
PAGES = {1--29},
NOTE = {arXiv:1504.00039}
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions," IEEE Transactions on Control Systems Technology, pp. 975-990, May 2015. [BibTeX] [URL] [PDF]
@ARTICLE{EZSA13,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions},
JOURNAL = {Control Systems Technology, IEEE Transactions on},
VOLUME = {23},
Number = {3},
PAGES = {975--990},
YEAR = {2015},
MONTH = {May}
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes," IEEE Transactions on Automatic Control, pp. 528-534, February 2014. [BibTeX] [URL] [PDF]
@ARTICLE{SATAC12,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes},
JOURNAL = {IEEE Transactions on Automatic Control},
YEAR={2014},
MONTH={Feb},
VOLUME={59},
NUMBER={2},
PAGES={528--534},
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Adaptive and Sequential Gridding for the Abstraction and Verification of Stochastic Processes," SIAM Journal on Applied Dynamical Systems, pp. 921-956, June 2013. [BibTeX] [URL] [PDF]
@ARTICLE{EZSA12,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes},
JOURNAL = {SIAM Journal on Applied Dynamical Systems},
NUMBER = {2},
VOLUME = {12},
YEAR = {2013},
PAGES = {921--956},
}
S. Esmaeil Zadeh Soudjani, R. Majumdar, and A. Abate, "Safety Verification of Continuous-Space Pure Jump Markov Processes," In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2016. To apear. [BibTeX] [PDF]
@INCOLLECTION{SADensity14,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and R. Majumdar and A. Abate},
TITLE = {Safety Verification of Continuous-Space Pure Jump Markov Processes},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag, Berlin Heidelberg},
VOLUME = {},
PAGES = {},
PAGES = {}
YEAR = {2016},
EDITOR = {M. Chechik and J.F. Raskin},
}
S. Esmaeil Zadeh Soudjani, S. Gerwinn, C. Ellen, M. Fränzle, and A. Abate, "Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads," Quantitative Evaluation of SysTems (QEST), September 2014. [BibTeX] [URL] [PDF]
@INCOLLECTION{SGEFA14,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} S. Gerwinn and C. Ellen and M. Fränzle and A. Abate},
TITLE = {Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads},
BOOKTITLE = {Quantitative Evaluation of SysTems (QEST)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer International Publishing},
VOLUME = {8657},
YEAR = {2014},
EDITOR = {Norman, Gethin and Sanders, William},
PAGES = {57--73},
}
† D. Adzkiya, S. Esmaeil Zadeh Soudjani, and A. Abate, "Finite Abstractions of Stochastic Max–Plus–Linear Systems," Quantitative Evaluation of SysTems (QEST), September 2014. [BibTeX] [URL] [PDF]
@INCOLLECTION{ASA14,
AUTHOR = {D. Adzkiya and S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Finite Abstractions of Stochastic Max–Plus–Linear Systems},
BOOKTITLE = {Quantitative Evaluation of SysTems (QEST)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer International Publishing},
VOLUME = {8657},
YEAR = {2014},
EDITOR = {Norman, Gethin and Sanders, William},
PAGES = {74--89},
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance," Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 547-561, April 2014. [BibTeX] [URL] [PDF]
@INCOLLECTION{SADensity14,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Precise Approximations of the Probability Distribution of a {M}arkov Process in Time: an Application to Probabilistic Invariance},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag, Berlin Heidelberg},
VOLUME = {8413},
YEAR = {2014},
EDITOR = {E. Ábrahám and K. Havelund},
PAGES = {547--561},
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Higher-Order Approximations for Verification of Stochastic Hybrid Systems," Automated Technology for Verification and Analysis (ATVA), pp. 416-434, October 2012. [BibTeX] [URL] [PDF]
@INCOLLECTION{SAH12,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Higher-Order Approximations for Verification of Stochastic Hybrid Systems},
BOOKTITLE = {Automated Technology for Verification and Analysis},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {7561},
YEAR = {2012},
EDITOR = {S. Chakraborty and M. Mukund},
PAGES = {416--434},
PUBLISHER = {Springer Verlag, Berlin Heidelberg},
}
S. Esmaeil Zadeh Soudjani, C. Gevaerts, and A. Abate, "FAUST2: Formal Abstractions of Uncountable-STate STochastic processes," Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 272-286, April 2015. [BibTeX] [URL] [PDF] The toolbox is available at http://sourceforge.net/projects/faust2/
@ARTICLE{FAUST13,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and C. Gevaerts and A. Abate},
TITLE = {FAUST2: Formal Abstractions of Uncountable-STate STochastic processes},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag, Berlin Heidelberg},
VOLUME = {9035},
YEAR = {2015},
EDITOR = {C. Baier and C. Tinelli},
PAGES = {272--286},
}
S. Esmaeil Zadeh Soudjani, A. Abate, and R. Majumdar, "Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes," In 26th International Conference on Concurrency Theory (CONCUR) , Madrid, Spain, September 2015. [BibTeX] [PDF]
@INPROCEEDINGS{SAM15,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate and R. Majumdar},
TITLE = {Dynamic {B}ayesian Networks as Formal Abstractions of Structured Stochastic Processes},
BOOKTITLE = {26th International Conference on Concurrency Theory},
PUBLISHER = {Dagstuhl Publishing},
MONTH = {September},
YEAR = {2015},
PAGES = {1--14},
ADDRESS = {Madrid, Spain},
}
M. Kamgarpour, C. Ellen, S. Esmaeil Zadeh Soudjani, S. Gerwinn, J.L. Mathieu, N. Mullner, A. Abate, D.S. Callaway, M. Fränzle, and J. Lygeros, "Modeling Options for Demand Side Participation of Thermostatically Controlled Loads," IREP Symposium , Rethymnon, Greece, pp. 1-15, August 2013. [BibTeX] [URL] [PDF]
@INPROCEEDINGS{MESG13,
AUTHOR = {M. Kamgarpour and C. Ellen and S. {Esmaeil Zadeh Soudjani} and S. Gerwinn and J.L. Mathieu and N. Mullner and A. Abate and D.S. Callaway and M. Franzle and J. Lygeros},
TITLE = {Modeling Options for Demand Side Participation of Thermostatically Controlled Loads},
BOOKTITLE = {Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP)},
MONTH = {August},
YEAR = {2013},
PAGES = {1--15},
ADDRESS = {Rethymnon, Greece},
}
S. Esmaeil Zadeh Soudjani and A. Abate, "Aggregation of Thermostatically Controlled Loads by Formal Abstractions," In European Control Conference (ECC) , Zurich, Switzerland, pp. 4232-4237, July 2013. [BibTeX] [URL] [PDF]
@INPROCEEDINGS{SA13,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Aggregation of Thermostatically Controlled Loads by Formal Abstractions},
BOOKTITLE = {ECC 2013: European Control Conference},
MONTH = {July},
YEAR = {2013},
PAGES = {4232--4237},
ADDRESS = {Zurich, Switzerland},
}
S. Esmaeil Zadeh Soudjani and A. Abate, “Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems,” 15th International Conference on Hybrid Systems: Computation and Control (HSCC), Beijing, China, pp. 207-216, April 2012. [BibTeX] [URL] [PDF]
@INPROCEEDINGS{SA12,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems},
BOOKTITLE = {{ACM} Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control},
MONTH = {April},
YEAR = {2012},
PAGES = {207--216},
ADDRESS = {Beijing, PRC},
}
S. Esmaeil Zadeh Soudjani and A. Abate, “Adaptive Gridding for Abstraction and Verifications of Stochastic Hybrid Systems,” 8th International Conference on Quantitative Evaluation of SysTems (QEST) , Aachen, Germany, pp. 59-68, September 2011. [BibTeX] [URL] [PDF]
@INPROCEEDINGS{SA11,
AUTHOR = {S. {Esmaeil Zadeh Soudjani} and A. Abate},
TITLE = {Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems},
BOOKTITLE = {Proceedings of the 8th International Conference on Quantitative Evaluation of Systems},
MONTH = {September},
YEAR = {2011},
PAGES = {59--69},
ADDRESS = {Aachen, DE},
}
E. Agheb, S. Esmaeilzadeh, K. Niayesh, J. Jadidian and E. Hashemi, "Transfer Function Based Modeling of the Air-Cored Transformers for Very Fast Transient Overvoltage (VFTO) Studies," Accepted in 2nd Euro-Asian Pulsed Power Conference , Vilnius, Lithuania, September 2008. [URL]
E. Agheb, A.A. Shayegani Akmal, S. Esmaeilzadeh, E. Hashemi and J. Jadidian, "EMTP Modeling of Air-Cored Transformer Winding under High-Frequency Transient," Accepted in International Conference on Plasma Physics, Fukuoka, Japan, October 2008. [URL]
S. Esmaeil Zadeh Soudjani, "Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems," PhD thesis, DCSC Department, TU Delft, The Netherlands, November 2014. [BibTeX] [URL] [PDF]
@PHDTHESIS{SSoudjani,
AUTHOR = {S. {Esmaeil Zadeh Soudjani}},
TITLE = {Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems},
SCHOOL = {Delft Center for Systems and Control, Technische Universiteit Delft},
MONTH = {November},
YEAR = {2014},
PAGES = {1--168},
ADDRESS = {Delft, NL},
ISBN = {9789462036833}
}
S. Esmaeil Zadeh Soudjani, "A Note on Linear Control Systems," Book (in Persian), published by Fazel Higher Education Institute, July 2010.
S. Esmaeil Zadeh Soudjani, "Analysis and Development of Nonlinear Observability Problem in Electrical Drive Systems," Master Thesis (in Persian), University of Tehran, Iran, July 2009. [abstract]
† The first two authors have equally contributed to this work.
© Personal use of the above materials is permitted. However, permission to reprint/republish these materials for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of these works in other works must be obtained from the associated copyright holders.
© Sadegh Soudjani 2013