المؤلفون: Calbert, Julien

المساهمون: UCL - SST/ICTM/INMA - Pôle en ingénierie mathématique

المصدر: IEEE Control Systems Letters, (2024)

مصطلحات موضوعية: Formal abstractions, optimal control prob- lem, nonlinear discrete-time systems, formal abstraction, optimal control, nonlinear discrete-time system

Relation: boreal:287971; http://hdl.handle.net/2078.1/287971; urn:ISSN:2475-1456; urn:EISSN:2475-1456

الاتاحة: http://hdl.handle.net/2078.1/287971
https://doi.org/10.1109/LCSYS.2024.3409106

مصطلحات موضوعية: Synthesis, Markov Process, Automated Verification, Markov Chain, Stochastic Systems, Thermostatically Controlled Loads, Formal Abstractions

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dris___00893::5677f774d684ee8f9a0bb590b5cd769f
http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

المؤلفون: Esmaeil Zadeh Soudjani, S.

المساهمون: Abate, A., Hellendoorn, J.

المصدر: None

مصطلحات موضوعية: 0209 industrial biotechnology, Synthesis, 020901 industrial engineering & automation, Markov Process, Automated Verification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 02 engineering and technology, Markov Chain, Stochastic Systems, Thermostatically Controlled Loads, Formal Abstractions

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d17d8e1c48733d40fbd59afb1e6ec46
http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

المؤلفون: Esmaeil Zadeh Soudjani, S. (author)

المساهمون: Abate, A. (promotor), Hellendoorn, J. (promotor)

مصطلحات موضوعية: Formal Abstractions, Automated Verification, Synthesis, Markov Process, Markov Chain, Stochastic Systems, Thermostatically Controlled Loads

Relation: http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

الاتاحة: http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa