公开(公告)号：US20210048806A1

公开(公告)日：2021-02-18

申请号：US16994967

申请日：2020-08-17

Applicant: Georgios Fainekos ,  Shakiba Yaghoubi

Inventor： Georgios Fainekos ,  Shakiba Yaghoubi

IPC: G05B19/418 ,  G06N3/08 ,  G06N20/00

Abstract: Embodiments of systems and methods for gray-box adversarial testing for control systems with machine learning components are disclosed.

公开(公告)号：US20190071084A1

公开(公告)日：2019-03-07

申请号：US16122770

申请日：2018-09-05

Applicant: Cumhur Erkan Tuncali ,  Theodore Pavlic ,  Georgios Fainekos

Inventor： Cumhur Erkan Tuncali ,  Theodore Pavlic ,  Georgios Fainekos

IPC: B60W30/16 ,  B60W30/09

Abstract: Methods of and systems for adaptive cruise control (ACC) of a vehicle include a controller for the vehicle that is configured to execute a computer-implemented model predictive control and a safe spacing policy that reduces collision risk between the vehicle and both a leading vehicle and a following vehicle. The methods include sensing a speed of a leader vehicle in front of the ego vehicle and a distance of the leader vehicle from the ego vehicle, sensing a speed of a follower vehicle behind the ego vehicle and a distance of the follower vehicle from the ego vehicle, and controlling the speed of the ego vehicle to avoid collision with the leader vehicle while reducing risk of the ego vehicle being hit by the follower vehicle.

公开(公告)号：US10766489B2

公开(公告)日：2020-09-08

申请号：US16122770

申请日：2018-09-05

Applicant: Cumhur Erkan Tuncali ,  Theodore Pavlic ,  Georgios Fainekos

Inventor： Cumhur Erkan Tuncali ,  Theodore Pavlic ,  Georgios Fainekos

IPC: B60W30/16 ,  B60W30/09 ,  B60W50/00

Abstract: Methods of and systems for adaptive cruise control (ACC) of a vehicle include a controller for the vehicle that is configured to execute a computer-implemented model predictive control and a safe spacing policy that reduces collision risk between the vehicle and both a leading vehicle and a following vehicle. The methods include sensing a speed of a leader vehicle in front of the ego vehicle and a distance of the leader vehicle from the ego vehicle, sensing a speed of a follower vehicle behind the ego vehicle and a distance of the follower vehicle from the ego vehicle, and controlling the speed of the ego vehicle to avoid collision with the leader vehicle while reducing risk of the ego vehicle being hit by the follower vehicle.

公开(公告)号：US10409706B2

公开(公告)日：2019-09-10

申请号：US15721243

申请日：2017-09-29

Applicant: Georgios Fainekos

Inventor： Georgios Fainekos

IPC: G06F9/44 ,  G06F11/36 ,  G06F17/50 ,  G06F9/448 ,  G06F16/901

Abstract: One embodiment is a methodology for model verification. An embodiment obtaining, by a processor, a model for a system; identifying, by the processor, at least one block within the model that has a branching structure; identifying, by the processor, at least one model variable affecting a switching condition of the identified at least one block; generating, by the processor, an extended finite state machine modeling a switching behavior of the identified at least one block by using the at least one model variable; combining, by the processor, at least one output variable of the extended finite state machine with at least one of a first output port and a second output port of the system included in the model; and performing, by the processor, model verification and coverage of the model that utilizes outputs from the first output port and the second output port to verify the model.

公开(公告)号：US20180095861A1

公开(公告)日：2018-04-05

申请号：US15721243

申请日：2017-09-29

Applicant: Georgios Fainekos

Inventor： Georgios Fainekos

IPC: G06F11/36 ,  G06F9/44 ,  G06F17/30 ,  G06F17/50

CPC classification number: G06F11/3608 ,  G06F9/4498 ,  G06F11/3604 ,  G06F11/3676 ,  G06F11/3684 ,  G06F11/3696 ,  G06F16/9024 ,  G06F17/5009

Abstract: One embodiment is a methodology for model verification. An embodiment obtaining, by a processor, a model for a system; identifying, by the processor, at least one block within the model that has a branching structure; identifying, by the processor, at least one model variable affecting a switching condition of the identified at least one block; generating, by the processor, an extended finite state machine modeling a switching behavior of the identified at least one block by using the at least one model variable; combining, by the processor, at least one output variable of the extended finite state machine with at least one of a first output port and a second output port of the system included in the model; and performing, by the processor, model verification and coverage of the model that utilizes outputs from the first output port and the second output port to verify the model.