المؤلفون: Yu, Pian, Gao, Yulong, Jiang, Frank, Johansson, Karl H., 1967, Dimarogonas, Dimos V.

المصدر: The international journal of robotics research. 43(6):765-790

مصطلحات موضوعية: and reachability analysis, online control synthesis, Signal temporal logic, tube-based temporal logic tree, uncertain systems

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-348226Test
https://doi.org/10.1177/02783649231212572Test

المؤلفون: Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan

المصدر: IET Control Theory & Applications, Vol 18, Iss 8, Pp 998-1006 (2024)

مصطلحات موضوعية: path planning, protocols, temporal logic, Control engineering systems. Automatic machinery (General), TJ212-225

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1751-8644Test; https://doaj.org/toc/1751-8652Test

الوصول الحر: https://doaj.org/article/46614cea9824430db78668d2279d45e8Test

المؤلفون: Charitidou, Maria

المساهمون: Dimarogonas, Dimos V., Kress-Gazit, Hadas, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Signal Temporal Logic, multi-agent systems, Model Predictive Control, nonlinear control, formal methods, Electrical Engineering, Elektro- och systemteknik

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346642Test
https://kth.diva-portal.org/smash/get/diva2:1859283/FULLTEXT01.pdfTest

المؤلفون: Krook, Jonas, 1986, Malik, Robi, Mohajerani, Sahar, Fabian, Martin, 1960

المصدر: Automatica. 160

مصطلحات موضوعية: Abstraction, Cyber-physical systems, Disturbances, Controller synthesis, Linear temporal logic

وصف الملف: electronic

الوصول الحر: https://research.chalmers.se/publication/539121Test
https://research.chalmers.se/publication/539121/file/539121_Fulltext.pdfTest

المؤلفون: S. I. Bashmakov, K. A. Smelykh

المصدر: Известия Иркутского государственного университета: Серия "Математика", Vol 47, Iss 1, Pp 78-92 (2024)

مصطلحات موضوعية: multi-agent logic, branching temporal logic, kripke relational semantics, filtration method, finite approximability, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: https://mathizv.isu.ru/en/article/file?id=1481Test; https://doaj.org/toc/1997-7670Test; https://doaj.org/toc/2541-8785Test

الوصول الحر: https://doaj.org/article/3559a77ad65b40b485a7aee297b90ecdTest

المؤلفون: Serhii Holub, Volodymyr Salapatov, Vadym Nemchenko

المصدر: Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 6-16 (2024)

مصطلحات موضوعية: model, predicate, temporal logic, an indeterminate finite automaton, procedural programming language, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://nti.khai.edu/ojs/index.php/reks/article/view/2271Test; https://doaj.org/toc/1814-4225Test; https://doaj.org/toc/2663-2012Test

الوصول الحر: https://doaj.org/article/9b5b023a2e004a41a8f37c6d2daf0635Test

المؤلفون: Harth, Andreas, Käfer, Tobias, Rula, Anisa, Calbimonte, Jean-Paul, Kamburjan, Eduard, Giese, Martin

المصدر: Transactions on Graph Data and Knowledge, Vol 2, Iss 1, Pp 1:1-1:32 (2024)

مصطلحات موضوعية: process modelling, process ontology, temporal logic, web services, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://drops.dagstuhl.de/storage/08tgdk/tgdk-vol002/tgdk-vol002-issue001/TGDK.2.1.1/TGDK.2.1.1.pdfTest; https://doaj.org/toc/2942-7517Test

الوصول الحر: https://doaj.org/article/ed74226a3e7a46faabe51358dc316174Test

المؤلفون: Chen, Fei, Dimarogonas, Dimos V.

المصدر: IFAC-PapersOnLine. :10204-10209

مصطلحات موضوعية: Leader-follower control, multi-agent systems, prescribed performance control, signal temporal logic

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343695Test
https://doi.org/10.1016/j.ifacol.2023.10.898Test

المؤلفون: Yang, Junjun, Tan, Kaige, Feng, Lei, El-Sherbeeny, Ahmed M., Li, Zhiwu

المصدر: XPRES XPRESS – Initiative for excellence in production research IEEE Access. 11:59840-59853

مصطلحات موضوعية: Discrete event system, linear temporal logic, supervisory control theory, reinforcement learning, Optimeringslära och systemteori, Optimization and Systems Theory, Datalogi, Computer Science, Industriella informations- och styrsystem, Industrial Information and Control Systems

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-330695Test
https://doi.org/10.1109/access.2023.3285432Test
https://ieeexplore.ieee.org/abstract/document/10149832/authors#authorsTest

المؤلفون: Charitidou, Maria, Dimarogonas, Dimos V.

المصدر: IEEE Transactions on Automatic Control. 68(6):3545-3556

مصطلحات موضوعية: signal temporal logic, control barrier function, model predictive control, Electrical Engineering, Elektro- och systemteknik

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-309725Test
https://kth.diva-portal.org/smash/get/diva2:1643483/FULLTEXT01.pdfTest