×

Found 2 Documents (Results 1–2)

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: 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 …

all top 5

Author

Year of Publication

Main Field

all top 3

Software