Akshay Rajhans

Publications

home | bio | publications | talks | service | etc

[See also: Google Scholar | DBLP]

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. [Preprint (PDF)]
• [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. [PDF]
• [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 [DROPS entry with link to PDF]
• [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. [Abstract (PDF)]
• [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. [Report (PDF) | Supporting Documents]
• [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. [Preprint (PDF)]

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), Accepted. [Preprint (PDF)]
• [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. [Preprint (PDF) | Accompanying Video]
• [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. [Preprint (PDF)]
• [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 (L-CSS), Volume: 5, Issue: 6, Dec. 2021. DOI: 10.1109/LCSYS.2020.3047332
• [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,” IEEE Control Systems Letters (L-CSS), American Control Conference (ACC) 2021. DOI: 10.23919/ACC50511.2021.9483298
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [PDF]
• [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. [Abstract (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF) | Technical Perspective (HTML) by Prof. Rajeev Alur]
• [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. [Preprint (PDF) | STRONG Toolbox]
• [P9] A. Rajhans and B. H. Krogh, “Compositional Heterogeneous Abstraction,” 16th ACM International Conference on Hybrid Systems: Computation and Control, 2013. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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, Snowbird, UT. [PDF]
• [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, Beavercreek, OH. [Abstract (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]
• [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. [Preprint (PDF)]

Theses

• [Th1] A. Rajhans, “Multi-Model Heterogeneous Verification of Cyber-Physical Systems,” PhD Thesis, Carnegie Mellon University, 2013. Thesis Advisor: Prof. Bruce Krogh. [Thesis (Abstract with a link to Fulltext PDF)]
• [Th1] A. Rajhans, “Development of Robust Testing Toolbox for Hybrid Systems,” MSE Thesis, University of Pennsylvania, 2007. Thesis Advisor: Prof. George Pappas. [Thesis (HTML entry)]
• [R10] A. Rajhans, “Verification of Hybrid Dynamic Systems Using Linear Hybrid Automata”, Qualifying Examination Paper, ECE Department, Carnegie Mellon University, 2010. [Paper (PDF)]

Patents

• [PP1] Andrews, B., Benitez, D., Raghunathan, B., Rajhans, A., “Method for Non-Intrusive Load Monitoring using a Hybrid System State Estimation Approach”, Patent No. 8209062. [USPTO | Google Scholar]

More

Other reports and posters

This site is open source. Improve this page.