Akshay Rajhans

Citado por

	Total	Desde 2017
Citas	607	333
Índice h	12	10
Índice i10	14	10

200920102011201220132014201520162017201820192020202120222 13 13 29 54 41 56 58 52 70 86 50 42 33

Acceso público

Ver todo

0 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityDirección de correo verificada de ece.cmu.edu
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Bradley SchmerlPrinciple Systems Scientist, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Pieter J. MostermanMathWorksDirección de correo verificada de mathworks.com
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
Lawrence PileggiTanoto Professor and Head of ECE, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Ivan RuchkinDepartment of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Shang-Wen ChengCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Soner YaldizIntel CorporationDirección de correo verificada de intel.com
James KapinskiAmazonDirección de correo verificada de amazon.com
Alexandre DonzeDecyphirDirección de correo verificada de decyphir.com
Diego S. Benitez (ORCID: 0000-0001-...Faculty of Science and Engineering, Universidad San Francisco de Quito USFQDirección de correo verificada de usfq.edu.ec
Agung JuliusDept. Electrical, Computer, and Systems EngineeringDirección de correo verificada de ecse.rpi.edu
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLADirección de correo verificada de ee.ucla.edu
PanciaticiRTEDirección de correo verificada de rte-france.com
Frank AllgöwerUniversity of StuttgartDirección de correo verificada de ist.uni-stuttgart.de
Maria PrandiniPolitecnico di MilanoDirección de correo verificada de polimi.it
João Borges de SousaDirección de correo verificada de fe.up.pt
Jens OehlerkingRobert Bosch GmbHDirección de correo verificada de de.bosch.com

Seguir

Akshay Rajhans

MathWorks

Dirección de correo verificada de mathworks.com - Página principal

Cyber-Physical Systems Hybrid Systems Formal Verification Controls


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	97	2014
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	97	2009
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	93	2011
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	64	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	42	2009
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
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	33	2019
Heterogeneous verification of cyber-physical systems using behavior relations A Rajhans, BH Krogh Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012	25	2012
Augmenting software architectures with physical components A Bhave, D Garlan, B Krogh, A Rajhans, B Schmerl ERTS2 2010, Embedded Real Time Software & Systems, 2010	25	2010
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	21	2011
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	20	2018
Compositional heterogeneous abstraction A Rajhans, BH Krogh Proceedings of the 16th international conference on Hybrid systems …, 2013	18	2013
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	11	2018
Multi-model heterogeneous verification of cyber-physical systems AH Rajhans Carnegie Mellon University, 2013	11	2013
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	4	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	3	2019
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	3	2018
Automatic Synthesis of Information Flow Driven Execution Managers for Embedded Software Applications N Visnevski, T Hubscher-Younger, A Rajhans, B Meng 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020	1	2020
Development of robust testing toolbox for hybrid systems A Rajhans School of Engineering and Applied Science, University of Pennsylvania, 2007	1	2007
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		2021

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores