Viewpoints, formalisms, languages, and tools for cyber-physical systems

D Broman, EA Lee, S Tripakis, M Törngren - Proceedings of the 6th …, 2012 - dl.acm.org
Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an
application domain CPS is not new. As an intellectual discipline, however, it is. This paper …

Control-scheduling codesign: A perspective on integrating control and computing

F Xia, Y Sun - arXiv preprint arXiv:0806.1385, 2008 - arxiv.org
Despite rapid evolution, embedded computing systems increasingly feature resource
constraints and workload uncertainties. To achieve much better system performance in …

A survey of approaches for the visual model-driven development of next generation software-intensive systems

H Giese, S Henkler - Journal of Visual Languages & Computing, 2006 - Elsevier
Software-intensive systems of the future are expected to be highly distributed and to exhibit
adaptive and anticipatory behavior when operating in highly dynamic environments and …

[图书][B] PID controller design and tuning in networked control systems

L Eriksson - 2008 - aaltodoc.aalto.fi
Networked control systems (NCS) are distributed real-time computing and control systems
with sensors, actuators and controllers that communicate over a shared medium. The …

Orccad, a framework for safe robot control design and implementation

D Simon, R Pissard-Gibollet, S Arias - 1st National Workshop on …, 2006 - inria.hal.science
Robotic systems are typical examples of hybrid systems where continuous time aspects,
related to control laws, must be carefully merged with discrete-time aspects related to control …

VFLT: SQA Model for Cyber Physical System

MZ Ferdus, MNI Khan, S Islam… - … Global Conference for …, 2019 - ieeexplore.ieee.org
Cyber Physical System (CPS) is an essential part of human life which is using almost
everywhere in real life applications, eg patient monitoring system, smart grid, robotics …

Resource-constrained embedded control and computing systems

D Henriksson - 2006 - portal.research.lu.se
Resource-Constrained Embedded Control and Computing Systems Henriksson, Dan Page 1
Resource-Constrained Embedded Control and Computing Systems Henriksson, Dan 2006 …

Hardware architectural support for control systems and sensor processing

S Vyas, A Gupte, CD Gill, RK Cytron… - ACM Transactions on …, 2013 - dl.acm.org
The field of modern control theory and the systems used to implement these controls have
shown rapid development over the last 50 years. It was often the case that those developing …

Enhanced End-to-End TDMA for wireless ad-hoc networks

DJ Vergados, M Koutsogiannaki… - 2007 12th IEEE …, 2007 - ieeexplore.ieee.org
TDMA has increasingly been used as the MAC layer for ad-hoc networks. However, the use
of TDMA in multi-hop networks leads to the problem of distributing the available slots among …

[PDF][PDF] Visual model-driven development of software intensive systems: A survey of available techniques and tools

S Burmester, H Giese, S Henkler - Proc. of the Workshop on …, 2005 - hpi.uni-potsdam.de
Modeling software intensive systems often results in a mix of models from a multitude of
disciplines such as software engineering, control engineering, mechanical engineering, and …