We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.
CITATION STYLE
Davoren, J. M., Moor, T., & Nerode, A. (2002). Hybrid control loops, A/D maps, and dynamic specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2289, pp. 149–163). Springer Verlag. https://doi.org/10.1007/3-540-45873-5_14
Mendeley helps you to discover research relevant for your work.