Akshay Rajhans
Akshay Rajhans
MathWorks
Dirección de correo verificada de mathworks.com - Página principal
TítuloCitado porAño
Formal verification of phase-locked loops using reachability analysis and continuization
M Althoff, S Yaldiz, A Rajhans, X Li, BH Krogh, L Pileggi
2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 659-666, 2011
812011
An architectural approach to the design and analysis of cyber-physical systems
A Rajhans, SW Cheng, B Schmerl, D Garlan, BH Krogh, C Agbi, A Bhave
Electronic Communications of the EASST 21, 2009
792009
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 60 (12), 20-23, 2017
74*2017
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
712014
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
552009
Evaluating a startup venture
MA Cusumano
Communications of the ACM 56 (10), 26-29, 2013
53*2013
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
372013
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
362009
Heterogeneous verification of cyber-physical systems using behavior relations
A Rajhans, BH Krogh
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
212012
Augmenting software architectures with physical components
A Bhave, D Garlan, B Krogh, A Rajhans, B Schmerl
212010
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
192011
Compositional heterogeneous abstraction
A Rajhans, BH Krogh
Proceedings of the 16th international conference on Hybrid systems …, 2013
172013
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation
A Tolk, F Barros, A D'Ambrogio, A Rajhans, PJ Mosterman, SS Shetty, ...
Proceedings of the Symposium on Modeling and Simulation of Complexity in …, 2018
82018
Multi-model heterogeneous verification of cyber-physical systems
AH Rajhans
82013
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
62018
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
12019
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
12018
Development of robust testing toolbox for hybrid systems
A Rajhans
School of Engineering and Applied Science, University of Pennsylvania, 2007
12007
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
2019
Model-Based Design Challenges for Cyber-Physical Systems
A Rajhans
2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20