03982nam 22005655 450 991025435310332120250324164246.09783319458113331945811610.1007/978-3-319-45811-3(CKB)3710000000872794(DE-He213)978-3-319-45811-3(MiAaPQ)EBC4707205(PPN)195511654(EXLCZ)99371000000087279420160930d2017 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierPrototyping of Concurrent Control Systems Implemented in FPGA Devices /by Remigiusz Wiśniewski1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XI, 173 p. 90 illus., 26 illus. in color.)Advances in Industrial Control,1430-94919783319458106 3319458108 Includes bibliographical references at the end of each chapters and index.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.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.Advances in Industrial Control,1430-9491Automatic controlElectronic circuitsMicroprogrammingControl and Systems Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/T19010Circuits and Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/T24068Control Structures and Microprogramminghttps://scigraph.springernature.com/ontologies/product-market-codes/I12018Automatic control.Electronic circuits.Microprogramming.Control and Systems Theory.Circuits and Systems.Control Structures and Microprogramming.629.8Wiśniewski Remigiuszauthttp://id.loc.gov/vocabulary/relators/aut970634BOOK9910254353103321Prototyping of Concurrent Control Systems Implemented in FPGA Devices2206197UNINA