P. Jagtap, S. Soudjani, and M. Zamani, "Temporal Logic Verification of Stochastic Systems Using Barrier Certificates," Automated Technology for Verification and Analysis (ATVA), 2018, Submitted.
M. Salamati, S. Soudjani, and R. Majumdar, "Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach," Quantitative Evaluation of SysTems (QEST), 2018, Submitted.A. Lavaei, S. Soudjani, and M. Zamani, "Compositional Abstractions of General Markov Decision Processes by Approximate Probabilistic Relations," Quantitative Evaluation of SysTems (QEST), 2018, Submitted.
A. Lavaei, S. Soudjani, and M. Zamani, "Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions," IEEE Conference on Decision and Control (CDC), 2018, Submitted.
A. Lavaei, S. Soudjani, and M. Zamani, "Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems," Automatica, 2018, Submitted.
K. Mallik, A.-k. Schmuck, S. Soudjani, and R. Majumdar, "Compositional Synthesis of Finite State Abstractions," IEEE Transactions on Automatic Control (TAC), 2018, Submitted.
S.S. Farahani, S. Soudjani, R. Majumdar, and C. Ocampo-Martinez, "Formal Controller Synthesis for Wastewater Systems with Signal Temporal Logic Constraints: The Barcelona Case Study," Journal of Process Control, 2018, Submitted.
S.S. Farahani, R. Majumdar, V.S. Prabhu, and S. Soudjani‡, "Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances," IEEE Transactions on Automatic Control (TAC), 2017, Submitted.
S. Haesaert, S. Soudjani, and A. Abate, "Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement," SIAM Journal on Control and Optimization, August 2017. [BibTeX] [URL] [arXiv]
@ARTICLE{SICON17,
AUTHOR = {S. Haesaert and S. Soudjani and A. Abate},
TITLE = {Verification of General {M}arkov Decision Processes by Approximate Similarity Relations and Policy Refinement},
JOURNAL = {SIAM Journal on Control and Optimization},
VOLUME = {55},
NUMBER = {4},
PAGES = {2333-2367},
YEAR = {2017},
}
S. Soudjani, A. Abate, and R. Majumdar, "Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes," Acta Informatica, Springer, pp. 1–26, December 2016. [BibTeX] [URL] [PDF]
@ARTICLE{SAM16,
AUTHOR = {S. Soudjani and A. Abate and R. Majumdar},
TITLE = {Dynamic Bayesian networks for formal verification of structured stochastic processes},
JOURNAL = {Acta Informatica},
VOLUME = {54},
NUMBER = {2},
PAGES = {217-242},
YEAR = {2017},
}
S. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Soudjani, T. Nagapetyan, and R. Majumdar, "Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems," In Quantitative Evaluation of SysTems (QEST), September 2017.
S. 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. [BibTeX] [URL] [PDF]
@INCOLLECTION{SMA_PJMP16,
AUTHOR = {S. 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)},
PUBLISHER = {Springer Berlin Heidelberg},
ADDRESS={Berlin, Heidelberg},
PAGES = {147--163},
YEAR = {2016},
EDITOR = {Marsha Chechik and Jean-Fran{\c{c}}ois Raskin},
}
S. 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. 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. 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. 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. 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{SAprecise14,
AUTHOR = {S. 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. 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. 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. 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. 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. Soudjani and R. Majumdar, "Concentration of Measure for Chance-Constrained Optimization," IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018.
A. Lavaei, S. Soudjani, and M. Zamani, "Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach," IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018.
S. Haesaert, S. Soudjani, and A. Abate, " Temporal logic control of general Markov decision processes by approximate policy refinement," IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018.
A. Lavaei, S. Soudjani, and M. Zamani, "From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes," Hybrid Systems: Computation and Control (HSCC), 2018.
R. Dimitrova, I. Gavran, R. Majumdar, V.S. Prabhu, and S. Soudjani‡, "The Robot Routing Problem for Collecting Aggregate Stochastic Rewards," 28th International Conference on Concurrency Theory (CONCUR), Berlin, Germany, September 2017.
A. Lavaei, S. Soudjani, R. Majumdar, and M. Zamani, "Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems," 56th IEEE Conference on Decision and Control (CDC), December 2017.
K. Mallik, S. Soudjani, A.K. Schmuck, and R. Majumdar, "Compositional Construction of Finite State Abstractions for Stochastic Control Systems," 56th IEEE Conference on Decision and Control (CDC), December 2017.
S.S. Farahani, S. Soudjani, R. Majumdar, and C. Ocampo-Martinez, "Robust Model Predictive Control with Signal Temporal Logic constraints for Wastewater Systems," The 20th World Congress of the International Federation of Automatic Control (IFAC), July 2017.
S.S. Farahani, R. Majumdar, V.S. Prabhu, and S. Soudjani, "Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications," American Control Conference (ACC), May 2017.
S. Soudjani and R. Majumdar, "Controller Synthesis for Reward Collecting Markov Processes in Continuous Space," Hybrid Systems: Computation and Control (HSCC), Pittsburgh, PA, USA, April 2017. [PDF]
V. Rostampour, D. Adzkiya, S. Soudjani, B. De Schutter, and T. Keviczky, "Chance-Constrained Model Predictive Controller Synthesis for Stochastic Max-Plus Linear Systems," IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Budapest, Hungary, October 2016. [URL]
S. 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] [URL] [PDF]
@INPROCEEDINGS{SAM15,
AUTHOR = {S. 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. 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. 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. 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. 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. 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. 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. 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. 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," 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," International Conference on Plasma Physics, Fukuoka, Japan, October 2008. [URL]
S. 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. 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. Soudjani, "A Note on Linear Control Systems," Book (in Persian), published by Fazel Higher Education Institute, July 2010.
S. Soudjani, "Analysis and Development of Nonlinear Observability Problem in Electrical Drive Systems," Master Thesis (in Persian), University of Tehran, Iran, July 2009. [abstract]
‡ Names are ordered alphabetically in articles with the sign ‡, otherwise based on contribution.
† 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