We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows perturbing the inputs observing perturbed outputs both in time- value-domains. instantiate our definition using existing notions conformance systems. As formal basis monitoring conformance-based cleanness, we develop temporal logic HyperSTL*, an extension Signal Temporal Logics with trace quanti...

This paper examines the difficulty of the schema conformance problem for the following XML schema languages: • DTD • RELAX NG with W3C XML Schema Datatypes • Schematron • W3C XML Schema • Namespace Routing Language The schema conformance problem is defined as follows: Given a schema, is there an XML document that conforms to the schema? For these five XML schema languages, the schema conformanc...

National archives set and implement national policies, recommendations legislation for archiving standards which governmental public actors need to obey. However, smaller in the field do not have this obligation often they possess resources or know-how follow guidelines their own digital preservation workflows. This easily leads utilization of commercial information management solutions, might ...

Spatial planning has been globally developed as a policy tool to govern built-up land expansion. However, causal evidence of the effect spatial on expansion is limited, which raises doubts credibility and hinders theoretical developments in land-system science. We evaluated Major Function Oriented Zone (MFOZ), first strategic plan China, Fujian Province over three time intervals (2013–2015, 201...

We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying semantic models and the various design decisions that lead to these substantially different notions of conformance testing. Learning from this ...