Cyber Physical System (CPS) has provided an outstanding foundation to build advanced
industrial systems and applications by integrating innovative functionalities through Internet …

Modeling Cyber‐physical systems (CPS) is a challenging step that requires a lot of
background from both the cyber and physical fields. However, there is a lack of studies in the …

The value of verification of cyberphysical systems depends on the relationship between the
state of the software and the state of the physical system. This relationship can be complex …

The paper focuses on a multi-agent system (MAS) as a special tool environment used for
virtual enterprise (VE) management. To manage a virtual enterprise MAS employs …

This paper presents the syntax and semantics of a novel type of hybrid automaton (HA) with
partial differential equation (PDE) dynamic, partial differential hybrid automata (PDHA). In …

Partial differential equations (PDEs) have been widely used to describe a wide range of
phenomena such as fluid dynamics and quantum mechanics and classical numerical …

Many technological innovations from the research area of dynamic adaptive systems or IT
ecosystems are already established in current software systems. Especially cyber-physical …

We present LhaVrf, a symbolic verifier for the safety verification of concurrent LHA (Linear
Hybrid Automaton). A concurrent LHA is composed of a set of LHAs that interact through …

Cyber-physical systems (CPS) represent an emerging type of distributed systems that
integrate a multitude of physical elements and software applications into large networks of …

Cyber-physical system (CPS) is a kind of complex real-time hybrid system which involves
deep interactions between computation processors, communication network, and physical …