Akshay Rajhans

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 12

Top Topics

Predictive Control

Robot Manipulators

Top Venues

IEEE Control. Syst. Lett.

Publications

Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Trans. Software Eng. 50 (2) (2024)
Abenezer Taye, Roberto G. Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Peng Wei
Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility. CoRR (2023)
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. CoRR (2022)
M. Di Florio, V. Iyer, Akshay Rajhans, Stefano Buccelli, Michela Chiappalone
Model-based online implementation of spike detection algorithms for neuroengineering applications. EMBC (2022)
Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. IEEE Control. Syst. Lett. 5 (6) (2021)
Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. ACC (2021)
Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti
Specification and Runtime Verification of Temporal Assessments in Simulink. RV (2021)
Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman
An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators. CASE (2021)
Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, Roberto G. Valenti
A Simulator for Trading Traffic Privileges by Selfish Driving Cars. SpringSim (2020)
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Hybrid Automata with Simulink and Stateflow. HSCC (2018)
Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. SpringSim (MSCIAAS) (2018)
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. HSCC (2018)
Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59 (12) (2014)
Akshay Rajhans, Bruce H. Krogh
Compositional heterogeneous abstraction. HSCC (2013)
Yi Deng, Akshay Rajhans, A. Agung Julius
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. QEST (2013)
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56 (10) (2013)
Akshay Rajhans, Bruce H. Krogh
Heterogeneous verification of cyber-physical systems using behavior relations. HSCC (2012)
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD (2011)
Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC (2011)
Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC (2009)