-
公开(公告)号：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.
-
Patent Agency Ranking
2.发明申请公开(公告)号：US20190071084A1
公开(公告)日：2019-03-07
申请号：US16122770
申请日：2018-09-05
Applicant: Cumhur Erkan Tuncali , Theodore Pavlic , Georgios Fainekos
Inventor： Cumhur Erkan Tuncali , Theodore Pavlic , Georgios Fainekos
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.
-
公开(公告)号：US20100299651A1
公开(公告)日：2010-11-25
申请号：US12708651
申请日：2010-02-19
Applicant: GEORGIOS FAINEKOS , Sriram Sankaranarayanan , Franjo Ivancic , Aarti Gupta
Inventor： GEORGIOS FAINEKOS , Sriram Sankaranarayanan , Franjo Ivancic , Aarti Gupta
IPC: G06F9/44
CPC classification number: G06F17/5036 , G06F8/30 , G06F11/362 , G06F2217/16
Abstract: A system and method for testing robustness of a simulation model of a cyber-physical system includes computing a set of symbolic simulation traces for a simulation model for a continuous time system stored in memory, based on a discrete time simulation of given test inputs stored in memory. Simulation errors are accounted for due to at least one of numerical instabilities and numeric computations. The set of symbolic simulation traces are validated with respect to validation properties in the simulation model. Portions of the simulation model description are identified that are sources of the simulation errors.
Abstract translation: 用于测试网络物理系统的仿真模型的鲁棒性的系统和方法包括基于存储在存储器中的给定测试输入的离散时间模拟来计算用于存储在存储器中的连续时间系统的模拟模型的一组符号仿真轨迹 记忆。 由于数值不稳定性和数值计算中的至少一个，造成了模拟误差。 关于仿真模型中的验证属性验证了一组符号仿真轨迹。 识别模拟模型描述的部分是模拟错误的来源。
-
4.发明授权公开(公告)号：US10766489B2
公开(公告)日：2020-09-08
申请号：US16122770
申请日：2018-09-05
Applicant: Cumhur Erkan Tuncali , Theodore Pavlic , Georgios Fainekos
Inventor： Cumhur Erkan Tuncali , Theodore Pavlic , Georgios Fainekos
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.
-
6.发明申请公开(公告)号：US20180095861A1
公开(公告)日：2018-04-05
申请号：US15721243
申请日：2017-09-29
Applicant: Georgios Fainekos
Inventor： Georgios Fainekos
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.
-
-
-
-
-
Search Results
6
records
(took 0.009 seconds)
