×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Van Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, Sofie

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
MSC:  93B50 93A15 93C55 93E03 90C40 93-04
Cite Review PDF
Full Text: DOI arXiv
OA License
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

all top 3

Software