scientific article; zbMATH DE number 1956553
From MaRDI portal
Publication:4417893
zbMath1032.93045MaRDI QIDQ4417893
Karine Altisen, Aurélie Clodic, Éric Rutten, Florence Maraninchi
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180174.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Artificial intelligence for robotics (68T40)
Related Items (3)
Integrating discrete controller synthesis into a reactive programming language compiler ⋮ WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model ⋮ Automating the addition of fault tolerance with discrete controller synthesis
This page was built for publication:
