On the Use of Multi-agent Reinforcement Learning in Cyber-physical and Internet of Thing Systems
In this paper, we provide a review of cyber-physical systems (CPSs) and explore the
applications of Multi-Agent Systems (MAS), Multi-Agent Reinforcement Learning (MARL) …
applications of Multi-Agent Systems (MAS), Multi-Agent Reinforcement Learning (MARL) …
Agent-oriented engineering for cyber-physical systems
Cyber-physical systems are the most relevant mainstream in the contemporary automation
of industry, smart cities, and ubiquitous systems. Although most of its components and their …
of industry, smart cities, and ubiquitous systems. Although most of its components and their …
CPS-based transactive energy technology for smart grids
M Daneshvar, S Asadi - Cyber-Physical Systems in the Built Environment, 2020 - Springer
Nowadays, emerging new advanced technologies and autonomous systems have provided
significant and basic conditions for switching from the traditional structure of the grids to …
significant and basic conditions for switching from the traditional structure of the grids to …
An architecture supporting formal and compositional binary analysis
Building a trustworthy life-critical embedded system requires deep reasoning about the
potential effects that sequences of machine instructions can have on full system operation …
potential effects that sequences of machine instructions can have on full system operation …
Safety at the edge: a safety framework to identify edge conditions in the future transportation system with highly automated vehicles
MS Ryerson, CS Long, K Scudder… - Injury …, 2020 - injuryprevention.bmj.com
Automated driving systems (ADS) have the potential for improving safety but also pose the
risk of extending the transportation system beyond its edge conditions, beyond the operating …
risk of extending the transportation system beyond its edge conditions, beyond the operating …
MIST-based Tuning of Cyber-Physical Systems Towards Holistic Healthcare Informatics
The entire world seems shaken and disrupted since the strike of Covid-19 ever since its
outbreak towards the end of 2019 and its continued perils. During this unprecedented event …
outbreak towards the end of 2019 and its continued perils. During this unprecedented event …
Threat Intelligence Model to Secure IoT Based Body Area Network and Prosthetic Sensors
This research work proposes a threat intelligence model for Internet-of-Things (IoT) sensors-
based Body Area Network (BAN). It is focused primarily to be used in healthcare monitoring …
based Body Area Network (BAN). It is focused primarily to be used in healthcare monitoring …
Towards the verification of cyber-physical processes based on time and physical properties
I Graja, S Kallel, N Guermouche… - International Journal of …, 2019 - inderscienceonline.com
A cyber-physical process is a set of cyber and physical activities performed to accomplish a
common goal in a given amount of time. The collaboration between cyber-physical …
common goal in a given amount of time. The collaboration between cyber-physical …
Safe functional systems through integrity types and verified assembly
Building a trustworthy life-critical embedded system requires deep reasoning about the
potential effects that sequences of machine instructions can have on full system operation …
potential effects that sequences of machine instructions can have on full system operation …
[图书][B] The ZARF Architecture for Recursive Functions
JE McMahan - 2019 - search.proquest.com
For highly critical workloads, the legitimate fear of catastrophic failure leads to both highly
conservative design practices and excessive assurance costs. One import part of the …
conservative design practices and excessive assurance costs. One import part of the …