Abstract: This note describes the essential features of a new methodology for the incremental transformation of informal operations concepts for a waterway management system into system-level designs, the latter being formal enough ...

Abstract: This work was motivated by the premise that next-generation smart city systems will be enabled by widespread adoption of sensing and communication technologies deeply embedded within the physical urban domain. These ...