Akshay Rajhans

According to our database, Akshay Rajhans authored at least 21 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach.

Claudio Menghi, Eugene Balai, Darren Valovcin, Christoph Sticksel, Akshay Rajhans

IEEE Trans. Software Eng., February, 2025

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements.

Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2024

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.

Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi

IEEE Trans. Software Eng., February, 2024

2023

Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility.

Abenezer Taye, Roberto G. Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Peng Wei

CoRR, 2023

2022

Model-based online implementation of spike detection algorithms for neuroengineering applications.

Mattia Di Florio, Vijay Iyer, Akshay Rajhans, Stefano Buccelli, Michela Chiappalone

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022

2021

Specification and Runtime Verification of Temporal Assessments in Simulink.

Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti

Proceedings of the Runtime Verification - 21st International Conference, 2021

An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators.

Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections.

Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy

Proceedings of the 2021 American Control Conference, 2021

2020

A Simulator for Trading Traffic Privileges by Selfish Driving Cars.

Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, Roberto G. Valenti

Proceedings of the Spring Simulation Conference, 2020

2018

Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.

Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz

Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Graphical Hybrid Automata with Simulink and Stateflow.

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2014

Supporting Heterogeneity in Cyber-Physical Systems Architectures.

Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl

IEEE Trans. Autom. Control., 2014

2013

Multi-Model Heterogeneous Verification of Cyber-Physical Systems.

Akshay Rajhans

PhD thesis, 2013

STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.

Yi Deng, Akshay Rajhans, A. Agung Julius

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Compositional heterogeneous abstraction.

Akshay Rajhans, Bruce H. Krogh

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Heterogeneous verification of cyber-physical systems using behavior relations.

Akshay Rajhans, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Formal verification of phase-locked loops using reachability analysis and continuization.

Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

Using parameters in architectural views to support heterogeneous design and verification.

Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2009

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.

Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.

Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009