Följ
Akshay Rajhans
Akshay Rajhans
Verifierad e-postadress på mathworks.com - Startsida
Titel
Citeras av
Citeras av
År
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
1092014
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
1062009
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
992013
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
672009
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
472009
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
452019
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
382013
Augmenting software architectures with physical components
A Bhave, D Garlan, BH Krogh, A Rajhans, B Schmerl
ERTS2 2010, Embedded Real Time Software & Systems, 2010
312010
Heterogeneous verification of cyber-physical systems using behavior relations
A Rajhans, BH Krogh
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
272012
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
262018
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
222011
Compositional heterogeneous abstraction
A Rajhans, BH Krogh
Proceedings of the 16th international conference on Hybrid systems …, 2013
182013
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
172018
Multi-model heterogeneous verification of cyber-physical systems
AH Rajhans
Carnegie Mellon University, 2013
112013
Control for societal-scale challenges: Road map 2030
A Alleyne, F Allgöwer, A Ames, S Amin, J Anderson, A Annaswamy, ...
2022 IEEE CSS Workshop on Control for Societal-Scale Challenges, 2023
102023
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
52021
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
52020
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
52019
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
42021
Graphical hybrid automata with simulink and stateflow
A Rajhans, S Avadhanula, A Chutinan, PJ Mosterman, F Zhang
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
32018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20