Modeling, analyzing and controlling hybrid systems by Guarded Flexible Nets
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Abstract
A number of artificial and natural systems can be modeled as hybrid models in which continuous and discrete variables interact. Such hybrid models are usually challenging to analyze and control due to the computational complexity associated with existing methods. In this paper, the novel modeling formalism of Guarded Flexible Nets (GFNs) is proposed for the modeling, analysis and control of hybrid system. A GFN consists of an event net that determines how the state changes as processes execute, and an intensity net that determines the speeds of the processes. In a GFN, the continuous state is given by the value of its state variables, and the discrete state is given by the region within which such variables lie. GFNs are shown to possess a high modeling power while offering appealing analysis and control possibilities.
Description
Keywords
Journal Title
Conference Name
Journal ISSN
1878-7460
Volume Title
Publisher
Publisher DOI
Sponsorship
Biotechnology and Biological Sciences Research Council (BB/N02348X/1)
European Commission (623995)