Search Results - imane+lamrani

5 Results

Sort By:

Cyber-Physical Interaction Aware Test Case Generation to Identify Operational Changes

Present day autonomous systems are cyber-physical systems (CPS) that involve multi-dimensional interaction between the cyber machine and the operational environment. One of the key aspects of these autonomous systems is that interaction patterns change over the lifetime of usage. Changes in CPS interaction patterns can be unintentional or intentional...

Published: 10/28/2024 | Inventor(s): Sandeep Gupta, Aranyak Maity, Ayan Banerjee, Imane Lamrani

Keywords(s): Algorithm Development, Inspection, Machine Learning, PS-Computing and Information Technology, Test

Category(s): Computing & Information Technology, Physical Science, Artificial Intelligence/Machine Learning

Safety Assurance of Cyber-Physical System Control Code by Analysis of Input/Output Response and Observed Behavior

Background Cyber-physical systems (CPSs) involve complex interacting components including the physical environment and human participants. As such, faulty operation of any CPS sub-component presents serious safety risks. Faulty CPS operation can occur due to several reasons including differences in architectures and sub-optimal implementation....

Published: 2/23/2023 | Inventor(s): Sandeep Gupta, Ayan Banerjee, Imane Lamrani

Keywords(s): Bio-Technology, Mechanical and Manufacturing, Medical Devices and Imaging, Transportation

Category(s): Physical Science, Computing & Information Technology, Medical Devices, Manufacturing/Construction/Mechanical, Intelligence & Security

Optimizing Safety Certification of Cyber-Physical Systems

Background Safety certification of cyber-physical systems (CPS) such as autonomous vehicles or medical control systems is a complex process that often contends with a lack of transparency between the manufacturer and the certifying authority. The manufacturer may be reluctant to freely share knowledge with the certification authority, with trade...

Published: 2/23/2023 | Inventor(s): Sandeep Gupta, Ayan Banerjee, Imane Lamrani

Keywords(s): Bio-Technology, Mechanical and Manufacturing, Medical Devices and Imaging

Category(s): Physical Science, Computing & Information Technology, Medical Devices, Manufacturing/Construction/Mechanical

Hybrid Automata Mining from Input/Output Traces of Cyber-Physical Systems

Background Hybrid systems are versatile in modeling the interaction between the cyber and physical components of cyber-physical control systems (CPS) such as artificial pancreases. They are typically used for analysis of safety of the human-centric control systems which have serious consequences of failure. As such, hybrid systems are parameterized...

Published: 2/23/2023 | Inventor(s): Sandeep Gupta, Ayan Banerjee, Imane Lamrani

Keywords(s):

Category(s): Physical Science, Computing & Information Technology, Medical Devices

Co-Simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata

Background Self-adaptive predictive (SAP) control is a promising approach to regulating cyber-physical systems (CPS) through continuous adjustment of control parameters and dynamic system modeling. For example, to provide optimized insulin administration, an artificial pancreas system models a patient’s glycemic response by constantly adapting...

Published: 2/23/2023 | Inventor(s): Imane Lamrani, Ayan Banerjee, Sandeep Gupta

Keywords(s):

Category(s): Physical Science, Medical Devices, Computing & Information Technology, Medical Diagnostics/Sensors