I agree that this site is using cookies. You can find further informations here.
X
Rajhans, Akshay
23  results:
Search for persons X
?
1

Climate Change Mitigation, Adaptation, and Resilience: Chal..:

Khargonekar, Pramod P. ; Samad, Tariq ; Amin, Saurabh...
IEEE Control Systems.  44 (2024)  3 - p. 33-51 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Simulation-Based Testing of Simulink Models With Test Seque..:

Formica, Federico ; Fan, Tony ; Rajhans, Akshay...
IEEE Transactions on Software Engineering.  50 (2024)  2 - p. 239-257 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Safe and Scalable Real-Time Trajectory Planning Framework f..:

Taye, Abenezer G. ; Valenti, Roberto ; Rajhans, Akshay...
Journal of Aerospace Information Systems.  , 2024
Link: https://doi.org/10.2514/..
 
?
4

Specification and Runtime Verification of Temporal Assessme..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Rajhans, Akshay ; Mavrommati, Anastasia ; Mosterman, Pieter J.. - p. 288-296 , 2021
Link: https://doi.org/10.1007/..
 
?
5

A Gradient-Based Approach for Coordinating Smart Vehicles a..:

Rodriguez, Manuel ; Zhao, Xiangxue ; Song, Hayley...
IEEE Control Systems Letters.  5 (2021)  6 - p. 2144-2149 , 2021
Link: https://doi.org/10.1109/..
 
?
6

A Gradient-Based Approach for Coordinating Smart Vehicles a..:

, In: 2021 American Control Conference (ACC),
Rodriguez, Manuel ; Zhao, Xiangxue ; Song, Hayley... - p. 608-613 , 2021
Link: https://doi.org/10.23919..
 
?
7

An Application of Model Predictive Control to Reactive Moti..:

, In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE),
Mavrommati, Anastasia ; Osorio, Carlos ; Valenti, Roberto G... - p. 915-920 , 2021
Link: https://doi.org/10.1109/..
 
?
8

A Simulator for Trading Traffic Privileges by Selfish Drivi..:

, In: 2020 Spring Simulation Conference (SpringSim),
Tu, Zhan ; Dimas, Anastasios ; Kurt, Mehmet Necip... - p. 1-12 , 2020
Link: https://doi.org/10.22360..
 
?
9

Automatic Synthesis of Information Flow Driven Execution Ma..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Visnevski, Nikita ; Hubscher-Younger, Teresa ; Rajhans, Akshay. - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Position paper on the challenges posed by modern applicatio..:

Allgöwer, Frank ; Borges de Sousa, João ; Kapinski, James...
Nonlinear Analysis: Hybrid Systems.  34 (2019)  - p. 147-165 , 2019
Link: https://doi.org/10.1016/..
 
?
11

Graphical Modeling of Hybrid Dynamics with Simulink and Sta..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Rajhans, Akshay ; Avadhanula, Srinath ; Chutinan, Alongkrit.. - p. 247-252 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Hybrid simulation for cyber physical systems : a panel o..:

, In: Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems,
Tolk, Andreas ; Barros, Fernando ; D'Ambrogio, Andrea... - p. 1-19 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Graphical Hybrid Automata with Simulink and Stateflow:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Rajhans, Akshay ; Avadhanula, Srinath ; Chutinan, Alongkrit.. - p. 267-268 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Session details: Case Studies and Tool Papers:

, In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control,
Rajhans, Akshay , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Formal verification of phase-locked loops using reachabilit..:

Althoff, Matthias ; Rajhans, Akshay ; Krogh, Bruce H....
Communications of the ACM.  56 (2013)  10 - p. 97-104 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15