scholarly journals Real-Time Control of Urban Water Cycle under Cyber-Physical Systems Framework

Water ◽  
2020 ◽  
Vol 12 (2) ◽  
pp. 406 ◽  
Author(s):  
Congcong Sun ◽  
Vicenç Puig ◽  
Gabriela Cembrano

The urban water cycle (UWC), which is composed of the water supply system (WSS) and urban drainage system (UDS), is a critical infrastructure required for the functioning of urban society. Considering the growing pollution and subsequent water scarcity caused by increasing urbanization and climate change, efficient UWC management is required to maintain resource sustainability and environmental protection. Cyber-physical systems (CPSs) provide a technological suite for the efficient management of critical systems. To exploit advantages of CPS for UWC, this paper proposes a CPS-based management framework enabling supervision, subsystem interoperability, and integrated optimization of UWC: (1) Firstly, clear definitions are provided to demonstrate that UWC systems can be considered as CPSs. (2) A multi-layer CPS-based supervision framework is presented afterwards, conceptually dividing the physical UWC and its digital counterpart into Supervision&Control, Scheduling, Digital Twin, and Water Users and Environment four layers. (3) The information flows that interact with each layer, as well as a key aspect of CSP operation, namely the interoperability among subsystems in the context of UWC, are also addressed. (4) To demonstrate advantages of supervision and interoperability of subsystems under the CPS framework, an integrated optimizer based on model predictive control (MPC) is applied and compared against the individual control of each system. A real case study of the WSS and UDS in Barcelona UWC is applied in order to validate the proposed approaches through virtual reality simulations based on MATLAB/SIMULIN and EPA-SWMM.

Author(s):  
Tengfei Li ◽  
Jing Liu ◽  
Haiying Sun ◽  
Xiang Chen ◽  
Lipeng Zhang ◽  
...  

AbstractIn the past few years, significant progress has been made on spatio-temporal cyber-physical systems in achieving spatio-temporal properties on several long-standing tasks. With the broader specification of spatio-temporal properties on various applications, the concerns over their spatio-temporal logics have been raised in public, especially after the widely reported safety-critical systems involving self-driving cars, intelligent transportation system, image processing. In this paper, we present a spatio-temporal specification language, STSL PC, by combining Signal Temporal Logic (STL) with a spatial logic S4 u, to characterize spatio-temporal dynamic behaviors of cyber-physical systems. This language is highly expressive: it allows the description of quantitative signals, by expressing spatio-temporal traces over real valued signals in dense time, and Boolean signals, by constraining values of spatial objects across threshold predicates. STSL PC combines the power of temporal modalities and spatial operators, and enjoys important properties such as finite model property. We provide a Hilbert-style axiomatization for the proposed STSL PC and prove the soundness and completeness by the spatio-temporal extension of maximal consistent set and canonical model. Further, we demonstrate the decidability of STSL PC and analyze the complexity of STSL PC. Besides, we generalize STSL to the evolution of spatial objects over time, called STSL OC, and provide the proof of its axiomatization system and decidability.


Author(s):  
Y. Penru ◽  
D. Antoniucci ◽  
M. J. Amores Barrero ◽  
C. Chevauché

2013 ◽  
Vol 25 (1) ◽  
pp. 20 ◽  
Author(s):  
Martin Jekel ◽  
Aki Ruhl ◽  
Felix Meinel ◽  
Frederik Zietzschmann ◽  
Stephan Lima ◽  
...  

2006 ◽  
Vol 4 (3-4) ◽  
pp. 145-158 ◽  
Author(s):  
Felipe Omar Tapia Silva ◽  
Anne Wehrmann ◽  
Hans-Joachim Henze ◽  
Nikolaus Model

2011 ◽  
Vol 8 (2) ◽  
pp. 103-118 ◽  
Author(s):  
Tong Thi Hoang Duong ◽  
Avner Adin ◽  
David Jackman ◽  
Peter van der Steen ◽  
Kala Vairavamoorthy

Sign in / Sign up

Export Citation Format

Share Document