Login / Signup
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems.
Krishnendu Chatterjee
Vinayak S. Prabhu
Published in:
Inf. Comput. (2013)
Keyphrases
</>
memory efficient
external memory
finite state machines
management system
building blocks
petri net
expert systems
high speed
learning systems
hybrid systems
multiple sequence alignment