Supervisory Control of Discrete-Event Systems with Output
 |
|
Описание:
In this book, the problem of supervisory control of Discrete-Event Systems (DES) with output is presented and discussed at length. In such systems, causal output functions are employed to assign each sequence of inputs with a corresponding sequence of outputs. When the specification of the desired behavior is given by a formal language over the output alphabet, necessary and sufficient conditions are derived for the existence of nonblocking input as well as nonblocking output supervisory controls. An algorithm is presented to extend the results of nonblocking input/output supervisory control from language-based framework into ?nite automata framework, making the proposed results applicable to large scale discrete-event systems. The idea of siblings is introduced to solve the problem of nondeterminism in discrete-event abstractions of hybrid systems, giving rise to the development of a theory for nonblocking supervisory control of hybrid systems. Our results enable one to apply...Похожие книги
 | Financial Supervision in Europe Автор: Jeroen Kremers, Dirk Schoenmaker, Peter J. Wierts Год: 2004 |
 | Apple Pro Training Series: Color Management in Mac OS X Автор: Joshua Weisberg Год: 2004 |
 | Non-Bayesian Decision Theory: Beliefs and Desires as Reasons for Action Автор: Martin Peterson Год: 2008 |
 | Silicon-Based RF Front-Ends for Ultra Wideband Radios Автор: Aminghasem Safarian Год: 2008 |
 | An Assessment of Monetary policy in Albania since 1990: Monetary policy strategies for transition economies Автор: Hilda Shijaku Год: 2010 |
 | Three Essays on Inflation Targeting Автор: Jamal Hejazi Год: 2010 |