Deriving Specifications of Control Programs for Cyber Physical Systems
نویسندگان
چکیده
منابع مشابه
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems
We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cyber-physical systems (CPS). DNP replace if and while statements, whose discontinuity is responsible for undecidability in CPS analysis, intractability in CPS design, and frailness in CPS implementation, with their smooth, neural nif and nwhile counterparts. This not only makes CPS analys...
متن کاملGenerating Test Cases for Cyber Physical Systems from Formal Specifications
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications, and reduce an infinite set of testing parameters into a ...
متن کاملAccess Control Challenges for Cyber-Physical Systems
With the growth of wireless networks and mobile devices, we are moving closer towards an era of cyberphysical systems (CPSs). Such systems have the potential to benefit numerous applications in areas as diverse as military, financial, and health care. However, security issues must be addressed before CPSs can be widely deployed. The problem is serious because CPSs involve interactions between a...
متن کاملDistributed Control for Cyber-Physical Systems
Networked Cyber-Physical Systems (CPS) are fundamentally constrained by the tight coupling and closedloop control and actuation of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for maintaining stability and performance in the presence of disturbances to the network, environme...
متن کاملResource-aware control for cyber-physical systems
An efficient usage of available resources is a substantial requirement for the successful control design in cyber-physical systems. Recent results indicate major benefits of event-based control compared to conventional designs, when resources such as communication, energy, and/or computation, are scarce. In this work we consider multiple control loops which share the communication resource. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2019
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/bxz019