Items where authors include "Roy, Debayan"

Article

Roy, Debayan, Zhang, Licong, Chang, Wanli orcid.org/0000-0002-4053-8898 et al. (2 more authors) (2018) Semantics-preserving cosynthesis of cyber-physical systems. Proceedings of the IEEE. pp. 171-200. ISSN 1558-2256

Book Section

Chang, Wanli orcid.org/0000-0002-4053-8898, Zhang, Licong, Roy, Debayan et al. (1 more author) (2017) Control/Architecture co-design for cyber-physical systems. In: Ha, Soonhoi and Teich, Jürgen, (eds.) Handbook of hardware/software codesign. Springer .

Proceedings Paper

Chang, Wanli orcid.org/0000-0002-4053-8898, Roy, Debayan, Zhao, Shuai et al. (2 more authors) (2020) CPS-oriented modeling and control of traffic signals using adaptive back pressure. In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). UNSPECIFIED. IEEE , pp. 1686-1691.

Roy, Debayan, Chang, Wanli orcid.org/0000-0002-4053-8898, Mitter, Sanjoy et al. (1 more author) (2019) Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees. In: DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019. UNSPECIFIED. .

Maldonado, Leslie, Chang, Wanli orcid.org/0000-0002-4053-8898, Roy, Debayan et al. (3 more authors) (2019) Exploiting system dynamics for resource-efficient automotive CPS design. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). UNSPECIFIED. , pp. 234-239.

Chang, Wanli orcid.org/0000-0002-4053-8898, Roy, Debayan, Hu, Sharon et al. (1 more author) (2018) Cache-aware task scheduling for maximizing control performance. In: 2018 Design, Automation and Test in Europe Conference and Exhibition (DATE). UNSPECIFIED. , pp. 694-699.

Ramesh, S, Vogel-Heuser, Birgit, Chang, Wanli orcid.org/0000-0002-4053-8898 et al. (2 more authors) (2017) Specification, verification and design of evolving automotive software. In: Design Automation Conference (DAC). UNSPECIFIED. IEEE .