Cyber–physical space systems are engineered systems operating within physical space
with design requirements that depend on space, eg, regarding location or movement …

Engineering cyber-physical systems inhabiting contemporary urban spatial environments
demands software engineering facilities to support design and operation. Tools and …

Systematic model-driven design and early validation enable engineers to verify that a
reactive system does not violate its requirements before actually implementing it …

abstract With rapid availability of renewable energy sources and growing interest in their use
in the datacenter industry presents opportunities for service providers to reduce their energy …

Abstract (EN) We present a formal modeling approach for the design and simulation of Multi-
Unmanned Aerial Vehicle (multi-UAV) inspection scenarios, where planning is based on …

The proliferation of smart environments in contemporary societies has led to demands for
analysis facilities to support their systematic engineering. Technological advancements …