FORMAL VERIFICATION FOR THE DEVELOPMENT AND REAL-TIME APPLICATION OF AUTONOMOUS SYSTEMS

One embodiment described herein relates to a method for supervising a dynamic system, for example a vehicle. The method includes receiving a system state sample and calculating, for a specific time instant, a reachable set of system states based on a current system state and a system model represent...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	NADERHIRN, Michael
Format:	Patent
Sprache:	eng ; fre ; ger
Schlagworte:	CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING FUNCTIONAL ELEMENTS OF SUCH SYSTEMS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS PHYSICS REGULATING SYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	One embodiment described herein relates to a method for supervising a dynamic system, for example a vehicle. The method includes receiving a system state sample and calculating, for a specific time instant, a reachable set of system states based on a current system state and a system model representing the dynamic system. The method further includes calculating a mathematical representation of a specific manifestation of a generic rule and calculating an allowed subset of system states based on the reachable set and the mathematical representation of the specific manifestation of the generic rule. Furthermore, the method includes testing whether the system state sample is within the allowed subset.