| An architectural approach to the design and analysis of cyber-physical systems A Rajhans, SW Cheng, B Schmerl, D Garlan, B Krogh, C Agbi, A Bhave Electronic Communications of the EASST 21, 2009 | 109 | 2009 |
| Supporting heterogeneity in cyber-physical systems architectures A Rajhans, A Bhave, I Ruchkin, BH Krogh, D Garlan, A Platzer, B Schmerl IEEE Transactions on Automatic Control 59 (12), 3178-3193, 2014 | 108 | 2014 |
| Formal verification of phase-locked loops using reachability analysis and continuization M Althoff, A Rajhans, BH Krogh, S Yaldiz, X Li, L Pileggi Communications of the ACM 56 (10), 97-104, 2013 | 105 | 2013 |
| Parameter synthesis for hybrid systems with an application to simulink models A Donzé, B Krogh, A Rajhans International workshop on hybrid systems: Computation and control, 165-179, 2009 | 66 | 2009 |
| METHOD FOR NON-INTRUSIVE LOAD MONITORING USING A HYBRID SYSTEMS STATE ESTIMATION APPROACH B Andrews, D Benitez, B Raghunathan, A Rajhans US Patent App. 12/639,472, 2009 | 48 | 2009 |
| Position paper on the challenges posed by modern applications to cyber-physical systems theory F Allgöwer, JB de Sousa, J Kapinski, P Mosterman, J Oehlerking, ... Nonlinear Analysis: Hybrid Systems 34, 147-165, 2019 | 47 | 2019 |
| Strong: A trajectory-based verification toolbox for hybrid systems Y Deng, A Rajhans, AA Julius International Conference on Quantitative Evaluation of SysTems, 165-168, 2013 | 38 | 2013 |
| Augmenting software architectures with physical components A Bhave, D Garlan, BH Krogh, A Rajhans, B Schmerl ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 32 | 2010 |
| Heterogeneous verification of cyber-physical systems using behavior relations A Rajhans, BH Krogh Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 28 | 2012 |
| Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. A Tolk, FJ Barros, A D'Ambrogio, A Rajhans, PJ Mosterman, SS Shetty, ... SpringSim (MSCIAAS), 3:1-3:19, 2018 | 26 | 2018 |
| Using parameters in architectural views to support heterogeneous design and verification A Rajhans, A Bhave, S Loos, BH Krogh, A Platzer, D Garlan 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 22 | 2011 |
| Control for societal-scale challenges: Road map 2030 A Alleyne, F Allgöwer, AD Ames, S Amin, J Anderson, AM Annaswamy, ... IEEE Control Systems Society, 2023 | 18 | 2023 |
| Graphical modeling of hybrid dynamics with Simulink and Stateflow A Rajhans, S Avadhanula, A Chutinan, PJ Mosterman, F Zhang Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 18 | 2018 |
| Compositional heterogeneous abstraction A Rajhans, BH Krogh Proceedings of the 16th international conference on Hybrid systems …, 2013 | 18 | 2013 |
| Multi-model heterogeneous verification of cyber-physical systems AH Rajhans Carnegie Mellon University, 2013 | 11 | 2013 |
| Specification and runtime verification of temporal assessments in simulink A Rajhans, A Mavrommati, PJ Mosterman, RG Valenti International Conference on Runtime Verification, 288-296, 2021 | 7 | 2021 |
| Climate Change Mitigation, Adaptation, and Resilience: Challenges and Opportunities for the Control Systems Community PP Khargonekar, T Samad, S Amin, A Chakrabortty, F Dabbene, A Das, ... IEEE Control Systems Magazine 44 (3), 33-51, 2024 | 5 | 2024 |
| An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators A Mavrommati, C Osorio, RG Valenti, A Rajhans, PJ Mosterman 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 5 | 2021 |
| A gradient-based approach for coordinating smart vehicles and traffic lights at intersections M Rodriguez, X Zhao, H Song, A Mavrommati, RG Valenti, A Rajhans, ... IEEE Control Systems Letters 5 (6), 2144-2149, 2020 | 5 | 2020 |
| Challenges in the operation and design of intelligent cyber-physical systems S Castro, PJ Mosterman, AH Rajhans, RG Valenti Complexity Challenges in Cyber Physical Systems: Using Modeling and …, 2019 | 5 | 2019 |
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
