The enthusiasm for hybrid and cyberphysical systems is exploding in today's world of cheap processors, sensors and controllers, and leads to the cost-effectiveness of a smart-everywhere approach to new services and systems. The presence of control as first class citizen in these systems leads to the impingement of discrete techniques from the computing sphere with continuous techniques from the physical systems sphere. It is often claimed that completely new formalisms will be needed to reason about these systems, a view that is a little puzzling considering that every component of such systems comes with a well understood mathematical model that captures the predictability of its behaviour in engineering contexts.
展开▼
