Based on the analogy between manufacturing and mining (i.e. ore ‘production’), smart has four dimensions: (i) advanced digital-oriented technologies (such as Cloud computing Internet of things) with automated Cyber-Physical Systems (CPSs), adaptable production processes (dependent working conditions) volume control (with optimal resource consumption); (ii) maintenance CPSs; (iii) new ways for w...

Cyber-physical systems (CPSs) are smart that include engineered interacting networks of physical and computational components. CPSs have an increasingly presence on critical infrastructures impact in almost every aspect our daily life, including transportation, healthcare, electric power, advanced manufacturing. However, face a growing serious security issue due to the widespread connectivity b...

Increasing digitalization and autonomous solutions in physical systems promise to enhance their performance, cost-efficiency reliability. However, the integration of novel information technologies with safety-related also brings new vulnerabilities risks that challenge traditional field safety analysis. Particularly, cyber security threats are becoming key factors complex accident scenarios cyb...

Abstract We present the $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ HYBRIDSYNCH...

We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation-based behavioural semantics which support compositional reasonings. Finally, we prove run-time properties and system equalities for a non-trivial ca...

In the last lecture, we have learned about the characteristic features of cyber-physical systems (CPS): they combine cyber capabilities (computation and/or communication) with physical capabilities (motion or other physical processes). Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Des...

BACKGROUND For settings with limited laboratory capacity, 2013 World Health Organization (WHO) guidelines recommend targeted HIV-1 viral load (VL) testing to identify virological failure. We previously developed and validated a clinical prediction score (CPS) for targeted VL testing, relying on clinical, adherence and laboratory data. While outperforming the WHO failure criteria, it required su...

The selection of a starting dose for an antidepressant, and subsequent clinical titration to an appropriate therapeutic dosage, should be based on pharmacokinetic and pharmacodynamic principles. In the past decade, therapeutic monitoring of antidepressant drugs and use of pharmacokinetic principles have been shown to be an improvement over the dose-response approach. Endogenous (e.g., genetic m...

Wide Area Cyber-Physical Systems (WA-CPSs) are a class of control systems that integrate low-powered sensors, heterogeneous actuators, and computer controllers into large infrastructure span multi-kilometre distances. Current wireless communication technologies incapable meeting the requirements range bounded delays needed for WA-CPSs. To solve this problem, we use Control Communication Co-desi...

The notion of Cyber-Physical-Social System (CPSS) is an emerging concept developed as a result the need to understand impact Cyber-Physical Systems (CPS) on humans and vice versa. This paradigm shift from CPS CPSS was mainly attributed increasing use sensor enabled smart devices tight link with users. has been around for over decade it gained attention past few years. evolution incorporate huma...