Journal of the ACM (JACM)
Finite automata and their decision problems
IBM Journal of Research and Development
Paper IV: Automata theory and control theory-A rapprochement
Automatica (Journal of IFAC)
Coproducts and decomposable machines
Journal of Computer and System Sciences
Algebraic structures in linear systems theory
Journal of Computer and System Sciences
Discrete-time machines in closed monoidal categories. I
Journal of Computer and System Sciences
Paper: A control engineering review of fuzzy systems
Automatica (Journal of IFAC)
Expository paper: Foundations of system theory: Decomposable systems
Automatica (Journal of IFAC)
Steady-state optimal control of finite-state machines
Automatica (Journal of IFAC)
System identification via state characterization
Automatica (Journal of IFAC)
Algebra-coalgebra duality in brzozowski's minimization algorithm
ACM Transactions on Computational Logic (TOCL)
Varieties and Covarieties of Languages (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 22.15 |
We show that many concepts of linear system theory are better understood in an abstract algebraic framework which also applies to the non-linear machines studied in automata theory. In particular, reachability and observeability properties are shown to hold without any restrictions on linearity, and we present a general identification procedure which reduces in the linear case to a generalization of Ho's algorithm. We place convolution theory and Kalman's module-theoretic approach in this general context. Finally, we introduce a new notion of duality for systems, and relate it to reachability and observability.