Sciweavers

2 search results - page 1 / 1
» Interconnected Automata and Linear Systems: A Theoretical Fr...
Sort
View
HYBRID
1995
Springer
13 years 8 months ago
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
Eduardo D. Sontag
MFCS
2007
Springer
13 years 10 months ago
Traces of Term-Automatic Graphs
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
Antoine Meyer