Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Patricia Derler"'
Publikováno v:
Humanities & Social Sciences Communications, Vol 9, Iss 1, Pp 1-13 (2022)
Abstract Autonomous vehicles (AVs) are being developed, tested, and commercialized around the world. While skilled human drivers can rely on their experience and common sense to navigate complex driving situations that involve trade-offs between comp
Externí odkaz:
https://doaj.org/article/05a794ce6a1946a997f8804f62c5f170
Autor:
Alberto Sangiovanni-Vincentelli, Edward A. Lee, Marten Lohstroh, Patricia Derler, Íñigo Íncer Romeo, Andrés Goens, Jeronimo Castrillon
Publikováno v:
Cyber Physical Systems. Model-Based Design ISBN: 9783030411305
CyPhy/WESE
CyPhy/WESE
This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a169143eb565d22d35fa163d54681497
https://doi.org/10.1007/978-3-030-41131-2_4
https://doi.org/10.1007/978-3-030-41131-2_4
Autor:
Patricia Derler, Aviral Shrivastava
Publikováno v:
ACM Transactions on Cyber-Physical Systems. 5:1-2
Autor:
Patricia Derler, John C. Eidson, Edward Griffor, Kevin Stanton, Ya-Shian Li-Baboud, Aviral Shrivastava, Hugo A. Andrade, Marc A. Weiss, Mohammad Khayatian, Mohammadreza Mehrabian
Publikováno v:
ACM Transactions on Embedded Computing Systems. 16:1-20
In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints of a giv
Publikováno v:
ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2018, pp.1-2
ACM Transactions on Embedded Computing Systems (TECS), 2018, pp.1-2
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2018, pp.1-2
ACM Transactions on Embedded Computing Systems (TECS), 2018, pp.1-2
International audience; This is a special issue of ACM TECS consisting of selected papers of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). MEMOCODE's general objective is to bring together
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd2b1cfc3d9769e13c878b547b60af3b
https://hal.inria.fr/hal-01926923/document
https://hal.inria.fr/hal-01926923/document
Publikováno v:
Proceedings of the IEEE. 104:997-1012
One of the biggest challenges in cyber–physical system (CPS) design is their intrinsic complexity, heterogeneity, and multidisciplinary nature. Emerging distributed CPSs integrate a wide range of heterogeneous aspects such as physical dynamics, con
Publikováno v:
at - Automatisierungstechnik. 64:244-252
Design of mechatronic systems involves the use of multiple disciplines, from mechanics to electronics and computer science. Different granularities of hybrid co-simulations with increasing details can be used during the design process. However, there
Autor:
Mohammad Khayatian, John C. Eidson, Edward Griffor, Hugo A. Andrade, Marc Wiess, Aviral Shrivastava, Patricia Derler, Dhananjay Anand, Ya-Shian Li-Baboud, Mohammadreza Mehrabian, Ahmed Mousa
Publikováno v:
DAC
Formal specifications on temporal behavior of Cyber-Physical Systems (CPS) is essential for verification of performance and safety. Existing solutions for verifying the satisfaction of temporal constraints on a CPS are compute and resource intensive
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkele
Autor:
Mohammad Khayatian, Mohammadreza Mehrabian, John C. Eidson, Patricia Derler, Kevin Stanton, Marc A. Weiss, Hugo A. Andrade, Ya-Shian Li-Baboud, Aviral Shrivastava, Edward Griffor
Publikováno v:
DAC
Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, predic