Author Info
Name
Affiliation
Papers
AKSHAY RAJHANS
Carnegie Mellon University, Pittsburgh, PA, USA
8
Collaborators
Citations 
PageRank 
18
85
6.34
Referers 
Referees 
References 
220
164
79
Search Limit
100220
Title
Citations
PageRank
Year
Graphical Hybrid Automata with Simulink and Stateflow.00.342018
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.20.652018
STRONG: a trajectory-based verification toolbox for hybrid systems140.792013
Compositional heterogeneous abstraction50.452013
Heterogeneous verification of cyber-physical systems using behavior relations60.532012
Formal verification of phase-locked loops using reachability analysis and continuization241.042011
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems100.862009
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models241.692009