Akshay Rajhans

home | bio | publications | talks | service | etc

Akshay Rajhans

Contact

Contact

Akshay Rajhans, Ph.D.
Lead Research Scientist and Head of the Advanced Research & Technology Office
MathWorks
arajhans (at) alumni (dot) cmu (dot) edu

top


Biographical Sketch

Biographical Sketch

Akshay Rajhans is the Lead Research Scientist at MathWorks where he heads the MathWorks Advanced Research & Technology Office. His team's responsibility includes research and technology innovation programs at MathWorks, including MathWorks Research Summits, MathWorks-funded research collaborations, MATLAB and Simuilink Challenge Projects program, patent program, and more. He and his team members represent MathWorks in the research community in various capacities.

Dr. Rajhans has a Ph.D. in Electrical and Computer Engineering from Carnegie Mellon University and an M.S. in Electrical Engineering from the University of Pennsylvania. His background centers around Technical Computing and Model-Based Design, often in the application context of intelligent AI-enabled cyber-physical systems.

Earlier in his career, Dr. Rajhans worked on development and application engineering of electronic control systems for diesel-engine applications at Cummins. As a research intern at Bosch, he co-invented a model-based approach to non-intrusive load monitoring.

top


Thought Leadership

Thought Leadership

Invited Expert for Government Funding Agencies

Invited Expert for Government Funding Agencies


Industry Advisory Boards and Committees

Industry Advisory Boards and Committees


Conference Program Committee Leadership

Conference Program Committee Leadership


Editorial Work

Editorial Work



Publications

Publications

Visioning Work

Visioning Work

  • [V8] Pramod Khargonekar, Tariq Samad, Saurabh Amin, Aranya Chakrabortty, Fabrizio Dabbene, Amritam Das, Masayuki Fujita, Mario Garcia-Sanz, Dennice Gayme, Marija Ilic, Iven Mareels, Kevin L. Moore, Lucy Y. Pao, Akshay Rajhans, Jakob Stoustrup, Juanid Zafar, Margret Bauer, "Climate Change Mitigation, Adaptation, and Resilience: Challenges and opportunities for the Control Systems Community", IEEE Control Systems Magazine, Volume: 44, Issue: 3, Pages: 33–51, June 2024.
  • [V7] Andrew Alleyne, et al., "Control for Societal-scale Challenges: Road Map 2030", A. M. Annaswamy, K. H. Johansson, and G. J. Pappas, eds, IEEE Control Systems Society Publication, 2023. https://ieeecss.org/control-societal-scale-challenges-roadmap-2030.
  • [V6] H. Sarjoughian, E. Yellig, J. Nutaro, A. Rajhans, "Challenges in Satisfying the Need and Promotion of Modeling & Simulation Workforce", Winter Simulation Conference (WSC) 2021.
  • [V5] F. Allgöwer, J. Borges de Sousa, J. Kapinski, P. Mosterman, J. Oehlerking, P. Panciatici, M. Prandini, A. Rajhans, P. Tabuada, and P. Wenzelburger, "Position paper on the challenges posed by modern applications to cyber-physical systems theory", Nonlinear Analysis: Hybrid Systems, Volume 34, Pages 147-165, November 2019.
  • [V4] A. Donze and A. Rajhans, "Tools Perspective", J. V. Deshmukh, O. Maler, and D. Nickovic, eds., "Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)", Dagstuhl 2019.
  • [V3] A. Rajhans and P. J. Mosterman, "A Vision for Application-Focused International Collaboration Networks in CPS", NSF Visioning Workshop for International Collaborations for Advancing CPS Research, Development, and Education Worldwide, part of CPS Week 2018.
  • [V2] S. Anderson, B. Boots, A. Byravan, E. Drumwright, C. Duriez, D. Fox, G. Hager, J. Hodgins, A. Jain, A. Kapoor, D. Koditschek, N. Koenig, E. Lee, C. Li, K. Liu, F. Meier, D. Negrut, A. Rajhans, L. Righetti, A. Rodriguez, S. Schaal, J. Tan, Y. Tassa, E. Todorov, and J. Trinkle, "On the Use of Modeling and Simulation in Robotics", Workshop Report, NIST/NSF/DoD Workshop on Simulation and Machine Learning in Robotics, 2018.
  • [V1] A. Tolk, F. Barros, A. D’Ambrogio, A. Rajhans, P. J. Mosterman, S. S. Shetty, M. K. Traoré, H. Vangheluwe, and L. Yilmaz, "Hybrid Simulation for Cyber Physical Systems – A Panel on Where are we Going Regarding Complexity, Intelligence, and Adaptability of CPS Using Simulation", Spring Simulation Multi-Conference, 2018.

Technical Publications

Technical Publications

  • [P28] Claudio Menghi, Eugene Balai, Darren Valovcin, Christoph Sticksel, Akshay Rajhans, "Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach", under review.
  • [P27] Abenezer Taye, Roberto Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter Mosterman, and Peng Wei, "Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility", AIAA Journal of Aerospace Information Systems, April 2024.
  • [P26] 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 Transactions on Software Engineering, Volume: 50, Issue: 2, February 2024.
  • [P25] Mattia Di Florio, Vijay Iyer, Akshay Rajhans, Stefano Buccelli, and Michela Chiappalone, "Model-based Online Implementation of Spike Detection Algorithms for Neuroengineering Applications", 44th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBS'22).
  • [P24] A. Rajhans, A. Mavrommati, P.J. Mosterman, and R.G. Valenti, "Specification and Runtime Verification of Temporal Assessments in Simulink", 21st International Conference on Runtime Verification (RV) 2021.
  • [P23] A. Mavrommati, C. Osario, R.G. Valenti, A. Rajhans, and P.J. Mosterman, "An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators", 17th IEEE International Conference on Automation Science and Engineering (CASE) 2021.
  • [P22] M. A. Rodriguez, X. Zhao, H. Song, R. Valenti, A. Rajhans, P. Mosterman, Y. Diaz-Mercado, and H. K. Fathy, "A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections", IEEE Control Systems Letters, Volume: 5, Issue: 6, Dec. 2021.
  • [P21] M. A. Rodriguez, X. Zhao, H. Song, R. Valenti, A. Rajhans, P. Mosterman, Y. Diaz-Mercado, and H. K. Fathy, "A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections", American Control Conference (ACC) 2021.
  • [P20] N. Visnevski, T. Hubscher-Younger, A. Rajhans, and B. Meng, "Automatic Synthesis of Information Flow Driven Execution Managers for Embedded Software Applications", AIAA/IEEE Digital Avionics Systems Conference (DASC) 2020. Best in Session Award.
  • [P19] P. J. Mosterman, A. Rajhans, A. Mavrommati, R. G. Valenti, "Simulation of Hybrid Dynamic Systems", John Baillieul, Tariq Samad, eds., Encyclopedia of Systems and Control, Springer, Living Edition. First online: August 2020.
  • [P18] Z. Tu, A. Dimas, M. N. Kurt, A. Mavrommati, P. J. Mosterman, A. Rajhans, and R. G. Valenti, "A Simulator for trading traffic privileges by selfish driving cars", Spring Simulation Conference, 2020.
  • [P17] S. Castro, P. J. Mosterman, A. H. Rajhans, and R. G. Valenti, "Challenges in the Operation and Design of Intelligent Cyber-Physical Systems", Book Chapter. *Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy*, Saurabh Mittal and Andreas Tolk, Eds., Wiley, January 2020.
  • [P16] J.-F. Kempf, Khoo Y. P., and A. Rajhans, "Specification and Assessment of Temporal Requirements using Simulink Test", Fourth International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2019, part of CPS-IoT Week 2019.
  • [P15] A. Rajhans and D. Lluch, "A Digital Twin Approach to Online Monitoring in Industrial Internet of Things Applications", Fourth International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2019), part of CPS-IoT Week 2019.
  • [P14] A. Rajhans, S. Avadhanula, A. Chutinan, P. J. Mosterman, and F. Zhang, "Graphical Hybrid Automata with Simulink and Stateflow", 21st International Conference on Hybrid Systems: Computation and Control, 2018.
  • [P13] A. Rajhans, S. Avadhanula, A. Chutinan, P. J. Mosterman, and F. Zhang, "Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow", 21st ACM International Conference on Hybrid Systems: Computation and Control, 2018. Best Repeatability Evaluation Award Finalist.
  • [P12] A. Rajhans, A. Bhave, I. Ruchkin, B. Krogh, D. Garlan, A. Platzer, and B. Schmerl, "Supporting Heterogeneity in Cyber-Physical System Architectures", IEEE Transactions on Automatic Control's Special Issue on Control of Cyber-Physical Systems, Vol. 59, Issue 12, pages 3178-3193.
  • [P11] M. Althoff, A. Rajhans, B. Krogh, S. Yaldiz, X. Li, and L. Pileggi, "Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization", Communications of the ACM, Vol. 56, Issue 10, pages: 97-104. Research Highlight. Accompanying Technical Perspective by Prof. Rajeev Alur: https://cacm.acm.org/magazines/2013/10/168175-technical-perspective-can-we-verify-cyber-physical-systems.
  • [P10] Y. Deng, A. Rajhans, and A. A. Julius, "STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems", 10th International Conference on Quantitative Evaluation of SysTems (QEST), 2013.
  • [P9] A. Rajhans and B. H. Krogh, "Compositional Heterogeneous Abstraction", 16th ACM International Conference on Hybrid Systems: Computation and Control, 2013.
  • [P8] A. Rajhans and B. H. Krogh, "Heterogeneous Verification of Cyber-Physical Systems Using Behavior Relations", 15th ACM International Conference on Hybrid Systems: Computation and Control, 2012.
  • [RP7] A. Rajhans, A. Bhave, S. Loos, B. H. Krogh, A. Platzer, and D. Garlan, "Using Parameters in Architectural Views to Support Heterogeneous Design and Verification", 50th IEEE Conference on Decision and Control, 2011.
  • [P6] M. Althoff, A. Rajhans, B. H. Krogh, S. Yaldiz, X. Li, and L. Pileggi, "Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization", IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011. **_William J. McCalla Best Paper Award_**.
  • [P5] M. Althoff, A. Rajhans, B. H. Krogh, S. Yaldiz, X. Li, and L. Pileggi, "Using Continuization in Rechability Analysis for the Verification of a Phase-Locked Loop", Frontiers in Analog Circuit (FAC) Synthesis and Verification, co-located with Computer-Aided Verification (CAV) 2011.
  • [P4] A. Bhave, D. Garlan, B. H. Krogh, S. Loos, A. Platzer, A. Rajhans, and B. Schmerl, "Multi-View Consistency in Architectures for Cyber-Physical Systems", Safe and Secure Systems & Software Symposium (S5) 2011.
  • [P3] A. Bhave, D. Garlan, B. Krogh, A. Rajhans, and B. Schmerl, "Augmenting Software Architectures with Physical Components", Embedded Real Time Software and Systems (ERTS^2), 2010.
  • [P2] A. Rajhans, S.-W. Cheng, B. Schmerl, D. Garlan, B. H. Krogh, C. Agbi, and A. Bhave, "An Architectural Approach to the Design and Analysis of Cyber-Physical Systems", Third International Workshop on Multi-Paradigm Modeling (MPM), 2009.
  • [P1] A. Donzé, B. H. Krogh, and A. Rajhans, "Parameter Synthesis for Hybrid Systems with an Application to Simulink Models", 12th IEEE/ACM International Conference on Hybrid Systems: Computation and Control, 2009.
>
Theses

Theses

  • [Th2] A. Rajhans, "Multi-Model Heterogeneous Verification of Cyber-Physical Systems", PhD Thesis, Carnegie Mellon University, 2013. Advisor: Bruce Krogh
  • [Th1] A. Rajhans, "Development of Robust Testing Toolbox for Hybrid Systems", MSE Thesis, University of Pennsylvania, 2007. Advisor: Prof. George Pappas
>


Patents


Talks and Panels

Talks and Panels

Keynote Talks

Keynote Talks


Invited Talks

Invited Talks


Panels

Panels