5 citations · 12 across the 5 of their papers we have counts for
5 papers
Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
Aliasghar Arab, Milad Khaleghi, Alireza Partovi +5
This paper presents a comprehensive hazard analysis, risk assessment, and loss evaluation for an Evasive Minimum Risk Maneuvering (EMRM) system designed for autonomous vehicles. Th…
Opacity of Discrete Event Systems with Active Intruder
Alireza Partovi, Taeho Jung, Lin Hai
Opacity is a security property formalizing the information leakage of a system to an external observer, namely intruder. The conventional opacity that has been studied in the Discr…
Ensuring Privacy in Location-Based Services: A Model-based Approach
Alireza Partovi, Wei Zheng, Taeho Jung +1
In recent years, the widespread of mobile devices equipped with GPS and communication chips has led to the growing use of location-based services (LBS) in which a user receives a s…
Reactive Supervisory Control of Open Discrete-event Systems
Alireza Partovi, Hai Lin
The conventional Wonham-Ramadge supervisory control framework of discrete event systems enforces a closed discrete event system to generate correct behaviors under certain environm…
Reactive Integrated Mission and Motion planning
Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of…