This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design.The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.<The theoretical work is illustrated by examples drawn from various applications, with a milling machine and a traffic-light controller highlighted as representative interpreted Petri nets.Given the ubiquity of concurrent control systems in a huge variety of technological areas including transportation, medicine, artificial intelligence, manufacturing, security and safety and planetary exploration, the innovative software and hardware design methods described here will be of considerable interest to control engineers and systems and circuits researchers in many areas of industry and academia.

Presents a complete prototyping flow for concurrent control systems implemented in programmable devices Demonstrates the implementation of dynamic and static partial reconfiguration of concurrent control systems in programmable devices Introduces new algorithms related to perfect graphs, hypergraphs, covering, and decomposition of concurrent control systems described by Petri nets Explains how to estimate the computational complexity of algorithms Includes supplementary material: sn.pub/extras

Autorentext

Remigiusz Wi niewski had worked for Aldec, Inc., as an Application and Senior Application Engineer, where he participated in the realization of projects related to prototyping of systems and designs implemented in programmable devices. He was invited to the company headquarters in Las Vegas, where he performed specialized trainings and presentations for companies such as Intel and Xilinx. In 2001 he was involved in exhibitions during the Design, Automation and Test in Europe (DATE), held in Munich. In October 2003 Doctor Wi niewski joined Institute of Computer Engineering and Electronics of University of Zielona Góra, where he was appointed as an Assistant Lecturer. His research interests focus on overcoming problems related to the reduction of the area of control units implemented in programmable devices. Following the completion of his Ph. D. thesis, in April 2009, Doctor Wi niewski joined the Institute of Computer Engineering and Electronics of Universityof Zielona Góra, as an Assistant Professor.

Inhalt
Introduction.- Related Work.- Perfect Graphs and Comparability Graphs.- Hypergraphs and Exact Transversals.- Analysis of Concurrent Control Systems.- Decomposition of Concurrent Control Systems.- Prototyping of Concurrent Systems.- Modelling of Concurrent Systems in Hardware Languages.- Implementation of Concurrent Control Systems in FPGA.