The marine renewable energy (MRE) industry is being stimulated by the growing world demand, climate change mitigation policies, and land-use conflicts [...]

Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty only observing sampled discrete-time signals, while real behaviors are continuous-time signals. To mitigate this problem sampling uncertainties, we introduce a model-bounded scheme, where use prior knowledge about target system to prune interpol...

The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is determined by bilinear control systems, and whose discrete transitions are triggered externally. The proposed characterization provides necessary and sufficient conditions for observability and spanreachability in ter...

The paper deals with the realization theory of linear and bilinear hybrid systems, i.e. hybrid systems with continuous dynamics determined by linear ( respectively bilinear ) control systems. We will formulate necessary and sufficient conditions for the existence of a linear (bilinear ) hybrid system realizing the specified input/output maps. We will also present a characterization of a minimal...