In this paper cyber role in social-ecological energy systems (SEES) is formalized by using
the language of large-scale dynamical systems. The key notion of interaction variables is …

We describe a new methodology and environment for Cyber Physical Systems (CPS)
synthesis and demonstrate it in the design of microrobots viewed as CPS. Various types of …

We summarize the material presented in our five lectures at the 2018 Marktoberdorf
International Summer Schools on Engineering Secure and Dependable Software Systems …

This technical report describes a Framework we have developed through our research and
investigations in this project, with the goal to facilitate creation of Open Standards and …

In my thesis, I propose a model-based systems design framework, called WSNDesign, to
facilitate the design and implementation of wireless sensor networks (WSNs). WSNDesign …

In the first part of the dissertation, we propose a model-based systems design framework,
called WSNDesign, to facilitate the design and implementation of wireless sensor networks …