@inproceedings{c5eedd012c7140a7b777378a24b1cf87,
title = "Interconnected automata and linear systems: A theoretical framework in discrete-time",
abstract = "This paper summarizes the definitions and several of the mMn results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author in the early 1980s. Some related more recent results are briefly mentioned as well.",
author = "Sontag, {Eduardo D.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 ; Conference date: 22-10-1995 Through 25-10-1995",
year = "1996",
doi = "10.1007/BFb0020966",
language = "English (US)",
isbn = "354061155X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "436--448",
editor = "Rajeev Alur and Henzinger, {Thomas A.} and Sontag, {Eduardo D.}",
booktitle = "Hybrid Systems III - Verification and Control",
address = "Germany",
}