Premium
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton
Author(s) -
Hejri Mohammad,
Giua Alessandro,
Mokhtari Hossein
Publication year - 2018
Publication title -
international journal of robust and nonlinear control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.361
H-Index - 106
eISSN - 1099-1239
pISSN - 1049-8923
DOI - 10.1002/rnc.4278
Subject(s) - realization (probability) , automaton , hybrid automaton , dynamical systems theory , timed automaton , continuous automaton , hybrid system , computer science , binary number , mathematics , dynamical system (definition) , cellular automaton , theoretical computer science , deterministic automaton , algorithm , mobile automaton , automata theory , statistics , physics , quantum mechanics , arithmetic , machine learning
Summary Modeling of hybrid systems using mixed logical dynamical (MLD) systems is an art. The MLD framework often introduces numerous constraints and auxiliary binary and continuous variables, which, in turn, increase the computational complexity of the optimization problems. This paper presents an automaton‐based realization for discrete‐time hybrid automaton (DHA) with both controlled and uncontrolled switching phenomena by which it is attempted to develop efficient translation techniques to MLD systems and reduce the total number of decision variables in the MLD model. Based on this DHA model, a modified version of MLD systems, which is called extended MLD (EMLD) is formally defined and represented. EMLD is derived based on the concept of forward evolution in which the one‐step delay between the change of discrete states and continuous dynamics of the existing evolution in the conventional MLD systems is eliminated. The result is that the size of EMLD model in terms of the number of variables, which determines the complexity of the synthesis problems on MLD systems, is reduced. The dynamical properties such as the nonblocking, determinism, and well‐posedness of the proposed DHA and its equivalent MLD models are investigated, and the necessary and sufficient conditions are derived. The effectiveness of the proposed ideas is shown by the numerical examples.