| 1 |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
Laurenti L, Lahijanian M, Abate A, Cardelli L, Kwiatkowska M
IEEE Transactions on Automatic Control, 66(1), 17, 2021 |
| 2 |
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
Lavaei A, Soudjani S, Zamani M
IEEE Transactions on Automatic Control, 65(12), 5280, 2020 |
| 3 |
Compositional construction of infinite abstractions for networks of stochastic control systems
Lavaei A, Soudjani S, Zamani M
Automatica, 107, 125, 2019 |
| 4 |
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach
Swikir A, Zamani M
Automatica, 107, 551, 2019 |
| 5 |
Formal Synthesis of Control Strategies for Positive Monotone Systems
Sadraddini S, Belta C
IEEE Transactions on Automatic Control, 64(2), 480, 2019 |
| 6 |
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study
Farahani SS, Soudjani S, Majumdar R, Ocampo-Martinez C
Journal of Process Control, 69, 179, 2018 |
| 7 |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Zamani M, Abate A, Girard A
Automatica, 55, 183, 2015 |
| 8 |
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Lahijanian M, Andersson SB, Belta C
IEEE Transactions on Automatic Control, 60(8), 2031, 2015 |
| 9 |
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Liu J, Ozay N, Topcu U, Murray RM
IEEE Transactions on Automatic Control, 58(7), 1771, 2013 |
| 10 |
Substituent and Solvent Effects in the (2+2)-Cycloaddition Reaction Between Olefins and Isocyanates
Cossio FP, Roa G, Lecea B, Ugalde JM
Journal of the American Chemical Society, 117(49), 12306, 1995 |
