Single-vDD and single-vT super-drowsy techniques for low-leakage high-performance instruction caches

NS Kim, K Flautner, D Blaauw, T Mudge - Proceedings of the 2004 …, 2004 - dl.acm.org
In this paper, we present a circuit technique that supports a super-drowsy mode with a single-
V DD. In addition, we perform a detailed working set analysis for various cache line update …

P-SOP–A multi-agent based control approach for flexible and robust manufacturing

B Svensson, F Danielsson - Robotics and Computer-Integrated …, 2015 - Elsevier
In a truly flexible manufacturing system the description of the control strategy must be
updated every day. Hence, a new way to handle changes in the environment down to …

Formal component-based modeling and synthesis for PLC systems

M Zhou, H Wan, R Wang, X Song, C Su, M Gu… - Computers in Industry, 2013 - Elsevier
Abstract Programmable Logic Controllers (PLCs) are widely used in industry. PLC systems
are reactive systems which run cyclically. In each cycle, the system state is checked and the …

Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime: For multi-disciplinary design and operation of gas …

S Pilarski, M Staniszewski, M Bryan… - Software and Systems …, 2021 - Springer
The design of gas turbines is a challenging area of cyber-physical systems where complex
model-based simulations across multiple disciplines (eg, performance, aerothermal) drive …

Agile and hierarchical round-trip engineering of IEC 61131-3 control software

M Jamro, D Rzonca - Computers in Industry, 2018 - Elsevier
The control software often performs complex, important, and responsible operations in
industrial manufacturing systems. The size and complexity of such software are still …

Fuzzy controller for laboratory levitation system: Real-time experiments using programmable logic controller

K Czerwiński, A Wojtulewicz, M Ławryńczuk - International Journal of …, 2019 - Springer
Abstract Development of a Fuzzy Proportional Integral Derivative (FPID) controller for a
laboratory magnetic levitation process is described. The process is unstable and nonlinear …

MOS: an integrated model-based and search-based testing tool for function block diagrams

EP Enoiu, K Doganay, M Bohlin… - … and Search-Based …, 2013 - ieeexplore.ieee.org
In this paper we present a new testing tool for safety critical applications described in
Function Block Diagram (FBD) language aimed to support both a model and a search-based …

Automatic generation of implementation in SysML-based model-driven development for IEC 61131-3 control software

M Jamro - 2014 19th international conference on methods and …, 2014 - ieeexplore.ieee.org
Control software is commonly used in various branches of industry. Its still increasing size
and complexity indicates that it is crucial to propose various development processes that …

A reference architecture for service-oriented control procedures and its implementation with SysML and Grafchart

L Ollinger, D Zühlke, A Theorin… - 2013 IEEE 18th …, 2013 - ieeexplore.ieee.org
Innovative engineering methods are needed to enhance the adaptability and agility of
industrial control procedures and concurrently manage their rising complexity. Service …

Proposal of an Approach to Automate the Generation of a Transitic System's Observer and Decision Support Using Model Driven Engineering

M Adam, O Cardin, P Berruet, P Castagna - IFAC Proceedings Volumes, 2011 - Elsevier
Short term decision support for manufacturing systems is generally difficult because of the
initial data needed by the calculations. Previous works suggest the use of a discrete event …