Approximate Abstraction of Stochastic Hybrid Automata

This paper discusses a notion of approximate abstraction for linear stochastic hybrid automata (LSHA). The idea is based on the construction of the so called stochastic bisimulation function. Such function can be used to quantify the distance between a system and its approximate abstraction. The wor...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Julius, A. Agung
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Automata. Abstract machines. Turing machines Block Diagonal Structure Computer science control theory systems Continuous Dynamic Control theory. Systems Dimensional Brownian Motion Exact sciences and technology Outgoing Transition Poisson Process Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!