Compile-Time Extensions to Hybrid ODEs

Autor: Yingfu Zeng, Ferenc Bartha, Walid Taha

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 247, Iss Proc. SNR 2017, Pp 52-70 (2017)

Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid system as automata with a set of ordinary differential equations (ODEs) as

Externí odkaz: https://doaj.org/article/f94e8ffe37414833a25a5834dd656beb

Sound Over-Approximation of Probabilities

Autor: Eugenio Moggi, Walid Taha, Johan Thunberg

Publikováno v: Acta Cybernetica. 24:269-285

Safety analysis of high confidence systems requires guaranteed bounds on the probabilities of events of interest. Establishing the correctness of algorithms that aim to compute such bounds is challenging. We address this problem in three steps. First

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e450e165147a4f53e49cdbe25a747456
https://doi.org/10.14232/actacyb.24.3.2020.2

Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment

Autor: Walid Taha, Sotirios Tzamaras, Stavros P. Adam

Publikováno v: IFIP Advances in Information and Communication Technology ISBN: 9783030791490
AIAI
IFIP Advances in Information and Communication Technology
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI)
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.531-542, ⟨10.1007/978-3-030-79150-6_42⟩

Part 13: Machine Learning; International audience; Hybrid systems are dynamical systems of both continuous and discrete nature and constitute an important field of control systems theory and engineering. On the other hand, intelligent data processing

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0ae0bc7a599c4816bd04c2c873c5536
https://doi.org/10.1007/978-3-030-79150-6_42

Developing a first course on cyber-physical systems

Autor: Walid Taha, Xu Fei, Robert Cartwright, Adam Duracz, Paul Brauner, Roland Philippsen, Yingfu Zeng, Kevin Atkinson

Publikováno v: ACM SIGBED Review. 14:44-52

Effective and creative Cyber-Physical Systems (CPS) development requires expertise in disparate fields that have traditionally been taught in several distinct disciplines. At the same time, students seeking a CPS education generally come from diverse

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a549e320d9166b443ba3b8d42e847e12
https://doi.org/10.1145/3036686.3036692

MicroITS: A Scaled-Down ITS Platform

Autor: Gaël Puissochet, Judicaël Marchand, Walid Taha, Thomas Lithén

Publikováno v: Cyber Physical Systems. Model-Based Design ISBN: 9783030237028

Intelligent Transportation Systems (ITS) are an excellent illustration of the types of challenges that future technologists must address. In previous work we presented a course designed to engage students with theoretical aspects of embedded and cybe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::32e2c3483d3db70915d1128a61bd0675
https://doi.org/10.1007/978-3-030-23703-5_13