Zusammenfassung
Die Begriffe der Erreichbarkeit, Kontrollierbarkeit, Beobachtbarkeit und Rekonstruierbarkeit in der linearen Regelungstechnik werden auf sequentielle Maschinen uebertragen, wobei die Dualitätsbeziehungen erhalten bleiben. Diese Begriffe werden charakterisiert, und Algorithmen angegeben, die es ermöglichen,(a) für eine gegebene sequentielle Maschine die grössten Untermaschinen und Quotientenmaschinen zu finden, die obige Eigenschaften besitzen,(b) initiale Zustands-untermengen und terminale Zustandspartitionen zu finden, die einem gegebenen Automaten diese Eigenschaften geben und (c) besondere Eingangsfolgen (synchronierende, diagnosierende und homing) und deren duale Folgen zu finden. Diese Algorithmen sind eng verknupft mit der Existenz und Anzahl der wahren maximalen und minimalen Ideen und Kongruenzen eines Automaten.
This research was supported by the National Research Council of Canada under grant A4141.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ARBIB, M.A.: A common framework for automata theory and control theory. J. SIAM, Control, Ser. A., 3, (1965).
ARBIB, M.A., ZEIGER, H.P.: On the relevance of abstract algebra to control theory. Automatica, 5, 589–606 (1969).
BECKHOFF, G.F.: Experiments on sequential machines, Proc. Tenth Annual Allerton Conf. on Circuit and System Theory, 10, 471–480 (1972).
BLYTH, T.S., JANOWITZ, M.F.: Residuation Theory, Pergamon Press, London (1972).
KAMBAYASHI, YAHIKO: Controllability of sequential machines, Infor. Contr., 21, 306–328 (1972).
KALMAN, R.E., FALB, P.L., ARBIB, M.A.: Topics in mathematical system theory, McGraw-Hill, New York (1969)
PERROT, J.F.: Contribution à l’ étude des monoides syntactiques et de certains groupsassociés aux automates finis. Thèse de doctorat d’état es Sciences, Université de Paris V I (1972).
RABIN, M.O., SCOTT, D.: Finite automata and their decision problems, IBM J. Res. Dev., 3, 114–125 (1959).
THIERRIN, G.: Theory of automata, Class notes (1972).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1973 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Beckhoff, G.F. (1973). Controllability-Observability Type Duality Relations of Finite-State Machines. In: Brauer, W. (eds) GI Gesellschaft für Informatik e. V.. Lecture Notes in Computer Science, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-41148-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-41148-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-40668-7
Online ISBN: 978-3-662-41148-3
eBook Packages: Springer Book Archive