Author:
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 494
Book Description
Proceedings, 9th International Workshop on Discrete Event Systems
Author:
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 494
Book Description
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 494
Book Description
2008 9th International Workshop on Discrete Event Systems
Author: IEEE Staff
Publisher:
ISBN: 9781509081103
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9781509081103
Category :
Languages : en
Pages :
Book Description
2008 9th International Workshop on Discrete Event Systems
Author: Bengt Lennartson
Publisher: IEEE
ISBN: 9781424425921
Category : Technology & Engineering
Languages : en
Pages : 494
Book Description
Publisher: IEEE
ISBN: 9781424425921
Category : Technology & Engineering
Languages : en
Pages : 494
Book Description
Proceedings : May 28 - 30, 2008, Göteborg, Sweden
Author: Chalmers Tekniska Högskola
Publisher:
ISBN: 9781424425938
Category :
Languages : en
Pages : 494
Book Description
Publisher:
ISBN: 9781424425938
Category :
Languages : en
Pages : 494
Book Description
Eighth International Workshop on Discrete Event Systems
Author: International Workshop on Discrete Event Systems
Publisher:
ISBN: 9781509093717
Category : Discrete-time systems
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9781509093717
Category : Discrete-time systems
Languages : en
Pages :
Book Description
Cybersecurity of Discrete Event Systems
Author: Rong Su
Publisher: CRC Press
ISBN: 1040031323
Category : Computers
Languages : en
Pages : 283
Book Description
This book describes analysis and control against smart cyberattacks in discrete event systems (DES). This is the first technical DES book to provide a thorough introduction to smart cyberattacks on supervisory control systems modelled by regular languages or finite-state automata and possible resilient defence methods against smart cyberattacks. "Smart attacks" cannot be detected by the supervisor until an irreversible process toward ensured damage occurs. An attack may be conducted either in the observation channel (i.e., the supervisor’s input of the supervisor) or in the command channel (i.e., the supervisor’s output) or both simultaneously. Therefore, defence strategies against these attacks are urgently needed. Rong Su provides a comprehensive overview of the latest theories and includes empirical examples to illustrate concepts and methods. By centering on what information is available and how such information is used, the readers are provided with methods to evaluate the cyber vulnerability of a given system and design a resilient supervisor against relevant smart attacks. This book comprises two sections. Firstly, Su introduces the required concepts and techniques related to DES and supervisory control. Then he introduces different types of smart attacks that intercept and manipulate information in sensor and command channels in a standard closed-loop control system. Secondly, he presents resilient defence strategies against relevant types of attacks. By focusing on a conceptual introduction and systematic analysis, this book provides a solid theoretical foundation for future exploration by researchers and graduate students who are interested in cybersecurity research, not necessarily limited to those in the DES community. To illustrate the practical relevance of this research, realistic examples are used throughout this book. Readers are recommended to have a background in formal language theory.
Publisher: CRC Press
ISBN: 1040031323
Category : Computers
Languages : en
Pages : 283
Book Description
This book describes analysis and control against smart cyberattacks in discrete event systems (DES). This is the first technical DES book to provide a thorough introduction to smart cyberattacks on supervisory control systems modelled by regular languages or finite-state automata and possible resilient defence methods against smart cyberattacks. "Smart attacks" cannot be detected by the supervisor until an irreversible process toward ensured damage occurs. An attack may be conducted either in the observation channel (i.e., the supervisor’s input of the supervisor) or in the command channel (i.e., the supervisor’s output) or both simultaneously. Therefore, defence strategies against these attacks are urgently needed. Rong Su provides a comprehensive overview of the latest theories and includes empirical examples to illustrate concepts and methods. By centering on what information is available and how such information is used, the readers are provided with methods to evaluate the cyber vulnerability of a given system and design a resilient supervisor against relevant smart attacks. This book comprises two sections. Firstly, Su introduces the required concepts and techniques related to DES and supervisory control. Then he introduces different types of smart attacks that intercept and manipulate information in sensor and command channels in a standard closed-loop control system. Secondly, he presents resilient defence strategies against relevant types of attacks. By focusing on a conceptual introduction and systematic analysis, this book provides a solid theoretical foundation for future exploration by researchers and graduate students who are interested in cybersecurity research, not necessarily limited to those in the DES community. To illustrate the practical relevance of this research, realistic examples are used throughout this book. Readers are recommended to have a background in formal language theory.
2016 13th International Workshop on Discrete Event Systems (WODES)
Author: Christos G. Cassandras
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages :
Book Description
Models and Analysis for Distributed Systems
Author: Serge Haddad
Publisher: John Wiley & Sons
ISBN: 1118602684
Category : Computers
Languages : en
Pages : 249
Book Description
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Publisher: John Wiley & Sons
ISBN: 1118602684
Category : Computers
Languages : en
Pages : 249
Book Description
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Discrete Event Systems 2004 (WODES'04)
Author: Janan Zaytoon
Publisher: Elsevier
ISBN: 9780080441689
Category : Language Arts & Disciplines
Languages : en
Pages : 488
Book Description
Approx. 484 pages
Publisher: Elsevier
ISBN: 9780080441689
Category : Language Arts & Disciplines
Languages : en
Pages : 488
Book Description
Approx. 484 pages
International Workshop on Discrete Event Systems
Author: Institution of Electrical Engineers
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 400
Book Description
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 400
Book Description