Titlebook: Control of Discrete-Event Systems; Automata and Petri N Carla Seatzu,Manuel Silva,Jan H. van Schuppen Book 2013 Springer-Verlag London 2013

恩惠

允許

0170-8643 emic researcher with coverage of the latest research in probControl of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory materia

Banister

larder

Focus-Words

Jürg Kramer,Anna-Maria von Pippichtem is to synthesize supervisors for the coordinator and for each of the subsystems so that the closed-loop system meets the specification. A characterization of the existence of such supervisors is presented as well as the solution to the problem of supremal supervision.

Axillary

Incise

Nmda-Receptor

MEEK

Von Verteidigern und Entdeckernses) are also discussed. These will lay the foundations to introduce control elements which forbid all the bad states enforcing the liveness property. The methods to compute the control are based on structural techniques avoiding the construction of the reachability graph.

肉身

Modelling of Engineering Phenomena by Finite Automata i.e., the question of how systems with an intrinsically infinite state space can be approximated by finite state machines such that control obtained for the approximation is meaningful for the underlying infinite state system.