Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Emeka Eyisi"'
Autor:
Emeka Eyisi, Zhenkai Zhang, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
Publikováno v:
Journal of Control Science and Engineering, Vol 2013 (2013)
The systematic design of automotive control applications is a challenging problem due to lack of understanding of the complex and tight interactions that often manifest during the integration of components from the control design phase with the compo
Externí odkaz:
https://doaj.org/article/d61f6c86e22345f58c376e4663ff0ea3
Publikováno v:
MILCOM
This paper describes a novel approach for the automatic construction of attack graphs, a powerful visual representation to depict system vulnerabilities in cyber physical systems. The proposed approach generates a maximally complete set of execution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7cce21c01fc04782764b38911d66b871
https://doi.org/10.1109/milcom.2018.8599799
https://doi.org/10.1109/milcom.2018.8599799
Autor:
Devu Manikantan Shila, Emeka Eyisi
Publikováno v:
TrustCom/BigDataSE
This paper presents an implicit and continuous user verification service, called dCASTRA, for mobile devices based on walking patterns inferred from smart phone sensors. We use LSTM (Long Short Term Memory) neural networks for learning gait biometric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90720f2229f236944781006bb55ceda5
https://doi.org/10.1109/trustcom/bigdatase.2018.00055
https://doi.org/10.1109/trustcom/bigdatase.2018.00055
Publikováno v:
2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).
This paper presents an approach for the formal modeling of certification processes using automatic reasoning in order to optimize the development process and to support business decision making while ensuring compliance with certification standards.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::886668467152967496059b4ce172be63
https://doi.org/10.1109/dasc.2017.8102141
https://doi.org/10.1109/dasc.2017.8102141
Autor:
Zhenkai Zhang, Janos Sztipanovits, Joseph Porter, Gabor Karsai, Xenofon Koutsoukos, Emeka Eyisi
Publikováno v:
Simulation Modelling Practice and Theory. 43:16-33
Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. Automotive control system is a typical CPS example and often designed based on a time-triggered paradigm.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::842b63ce270519917cc93a910bce02a8
https://doi.org/10.1016/j.simpat.2014.01.001
https://doi.org/10.1016/j.simpat.2014.01.001
Autor:
Janos Sztipanovits, Joseph Porter, Joseph F. Hall, Heath J. LeBlanc, Xenofon Koutsoukos, Nicholas Kottenstette, Emeka Eyisi
Publikováno v:
ACM Transactions on Embedded Computing Systems. 11:1-31
The integration of physical systems through computing and networking has become pervasive, a trend now known as cyber-physical systems (CPS). Functionality in CPS emerges from the interaction of networked computational and physical objects. System de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad334135c225bd046d1beb0e7872cc22
https://doi.org/10.1145/2362336.2362342
https://doi.org/10.1145/2362336.2362342
Autor:
Xenofon Koutsoukos, Emeka Eyisi
Publikováno v:
HiCoNS
The increased prevalence of attacks on Cyber-Physical Systems(CPS) as well as the safety-critical nature of these systems, has resulted in increased concerns regarding the security of CPS. In an effort towards the security of CPS, we consider the det
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dea8653001bce7b9d94a632c0922e74a
https://doi.org/10.1145/2566468.2566472
https://doi.org/10.1145/2566468.2566472
Autor:
Janos Sztipanovits, Zhenkai Zhang, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Emeka Eyisi
Publikováno v:
ICCPS
Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. A co-simulation method is valuable to enable early system evaluation. In this paper, a cosimulation frame
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff884385a3653bf685c4e876e2210b47
https://doi.org/10.1145/2502524.2502541
https://doi.org/10.1145/2502524.2502541
Autor:
Janos Sztipanovits, Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Xenofon Koutsoukos, Gabor Karsai
Publikováno v:
Journal of Control Science and Engineering, Vol 2013 (2013)
The systematic design of automotive control applications is a challenging problem due to lack of understanding of the complex and tight interactions that often manifest during the integration of components from the control design phase with the compo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::041b7fe21e7b500bdaed8b69a66d6a72
Publikováno v:
2012 5th International Symposium on Resilient Control Systems.
Uncertainty in wireless networks, such as time-varying delays and packet loss, often leads to instability and degraded performance in Networked Control Systems (NCS). Further, limited network resources impose constraints on communication between plan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb47752df5cacc570764982eb1dad5ce
https://doi.org/10.1109/isrcs.2012.6309306
https://doi.org/10.1109/isrcs.2012.6309306