๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verifying a class of nondeterministic discrete event systems in a generalized temporal logic

โœ Scribed by Lin, J.-Y.; Ionescu, D.

Book ID
114550394
Publisher
Institute of Electrical and Electronics Engineers
Year
1992
Weight
1006 KB
Volume
22
Category
Article
ISSN
0018-9472

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Bisimilarity control of partially observ
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
โœ Fuchun Liu; Hai Lin; Zbigniew Dziong ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 442 KB

In this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are for

A linear state space approach to a class
A linear state space approach to a class of discrete-event systems
โœ Dieter Franke ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 235 KB

The paper addresses finite state machines which provide suitable mathematical models for discrete-event dynamical systems. This type of systems is considered to be one of the challenges in the present discussion of non-classical control problems. Boolean automata are of special interest. Different f