arXiv · 1402.5759
Asynchronous $l$-Complete Approximations
Abstract
This paper extends the $l$-complete approximation method developed for time invariant systems to a larger system class, ensuring that the resulting approximation can be realized by a finite state machine. To derive the new abstraction method, called asynchronous $l$-complete approximation, an asynchronous version of the well-known concepts of state property, memory span and $l$-completeness is introduced, extending the behavioral systems theory in a consistent way.
Explore related subjects
Keep this discovery
Anne-Kathrin Schmuck, Jörg Raisch. 2014-02-24. Asynchronous $l$-Complete Approximations. https://arxiv.org/abs/1402.5759
Cite the original work for its findings. Save a collection to share your selection of sources.