Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Adam Duracz"'
Autor:
Ahsan Pervaiz, Yao Hsiang Yang, Adam Duracz, Ferenc Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna Palem, Shan Lu, Henry Hoffmann
Publikováno v:
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05199689dfdbc969c50656b2d20159ae
https://doi.org/10.1145/3563835.3567655
https://doi.org/10.1145/3563835.3567655
Autor:
Robert Cartwright, Yan Pei, Krishna V. Palem, Connor Imes, Saeid Barati, Andrew Wright, Ryuichi Sai, Henry Hoffmann, Keshav Pingali, Ferenc Bartha, Swarnendu Biswas, Arvind, Dung Nguyen, Jason E. Miller, Yao-Hsiang Yang, Sizhuo Zhang, Adam Duracz, Nikita Mishra, Donald S. Fussell
Publikováno v:
IEEE Software. 36:73-82
Our software framework, Proteus, treats adaptation as a first-class object, enabling rapid development of robust, adaptive applications. Proteus developers specify their programs' intent and adaptable components (or knobs). A control-theoretic runtim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc5fbab51765e592ce1b8cd70bb5d5b6
https://doi.org/10.1109/ms.2018.2884864
https://doi.org/10.1109/ms.2018.2884864
Autor:
Ferenc Bartha, Fei Xu, Yingfu Zeng, Jan Duracz, Henrik Eriksson, Christian Grante, Ayman Aljarbouh, Adam Duracz, Roland Philippsen, Jawad Masood
Publikováno v:
Cyber Physical Systems. Model-Based Design ISBN: 9783030411305
With the increasing level of automation in road vehicles, the traditional workhorse of safety assessment, namely, physical testing, is no longer adequate as the sole means of ensuring safety. A standard safety assessment benchmark is to evaluate the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e93c0a23c351ae659f35b0ab01b7cc0
https://doi.org/10.1007/978-3-030-41131-2_6
https://doi.org/10.1007/978-3-030-41131-2_6
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
https://doi.org/10.1145/3036686.3036692
Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of reachability -
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::190d805bb983783d46c933d3f7c74be7
http://hdl.handle.net/11567/920280
http://hdl.handle.net/11567/920280
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319952451
Principles of Modeling
Principles of Modeling
Hybrid systems are a powerful formalism for modeling cyber-physical systems. Reachability analysis is a general method for checking safety properties, especially in the presence of uncertainty and non-determinism. Rigorous simulation is a convenient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::506bfb61780257a301484abc882e968e
http://hdl.handle.net/11567/914208
http://hdl.handle.net/11567/914208
Autor:
Lars-Göran Hedstrom, Gaurav Gunjan, Yingfu Zeng, Fei Xu, Walid Taha, Jennifer David, Adam Duracz, Ferenc Bartha
Publikováno v:
WESE
The flipped classroom format involves swapping activities traditionally performed inside and outside the classroom. The expected effects from this swap include increased student engagement and peer-to-peer interaction in the classroom, as well as mor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4865506e220644fb9d76e688ea35e303
https://doi.org/10.1145/3005329.3005337
https://doi.org/10.1145/3005329.3005337
Publikováno v:
IEEE Computer Society Order Number: E5944
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Aug 2016, Paris, France. ⟨10.1109/CSE-EUC-DCABES.2016.217⟩
CSE/EUC/DCABES
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Aug 2016, Paris, France. ⟨10.1109/CSE-EUC-DCABES.2016.217⟩
CSE/EUC/DCABES
International audience; Chattering is a fundamental phenomenon that is unique to hybrid systems, due to the complex interaction between discrete dynamics (in the form of discrete transitions) and continuous dynamics (in the form of time). In practice
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56eb128492f53575c29549db368fa1f6
https://hal.science/hal-01365875
https://hal.science/hal-01365875
Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6bba2a5d1eac3fdc39924c21d470f9e
https://publications.aston.ac.uk/id/eprint/27364/1/Hybrid_automaton_up_to_and_beyond_a_Zeno_point.pdf
https://publications.aston.ac.uk/id/eprint/27364/1/Hybrid_automaton_up_to_and_beyond_a_Zeno_point.pdf
Autor:
Shyam B. Mehta, Kevin Atkinson, Adam Duracz, Paul Brauner, Marcia K. O'Malley, Anita Pinheiro Sant'Anna, Eugenio Moggi, Pererik Andreasson, Ferenc Bartha, Michal Konečný, Jun Inoue, Fei Xu, Robert Cartwright, Christian Grante, Jawad Masood, Lise Hvatum, Roland Philippsen, Alexandre Chapoutot, Jan Duracz, Henrik Eriksson, Verónica Gaspes, Walid Taha, Aaron D. Ames, Yingfu Zeng
Publikováno v:
Internet of Things. IoT Infrastructures ISBN: 9783319470627
IoT 360 (1)
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
International Internet of Things Summit
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
IoT 360 (1)
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
International Internet of Things Summit
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ed5b59d2584ae6293b70daf6a056513
https://doi.org/10.1007/978-3-319-47063-4_11
https://doi.org/10.1007/978-3-319-47063-4_11