Hybrid Possibilistic Systems with Nondeterministic Continuous Evolutions and Switchings
Ievgen Ivanov, Mykola S. Nikitchenko, Louis Féraud · Acta Electrotechnica et Informatica · 2012
We propose a new class of hybrid (discrete-continuous) dynamical system models with nondeterministic continuous evolutions and switching between discrete modes.Formally, this class is rather similar to the class of stochastic hybrid systems, but it is based on possibility theory.This approach has an advantage over stochastic models when available statistical information is not sufficient for constructing a reliable stochastic model.For example, it may be useful for modeling human-machine-environment systems, because, as it has been argued in the literature, possibility theory describes many aspects of human behavior better than probability theory.In this work we present a motivating example, give a definition and semantics of our systems, consider reachability problems for large subclasses of them, and propose methods to tackle these problems.