1. The algorithmic analysis of hybrid systems;Alur;Theoretical and Computer Science,1995
2. The theory of timed automata;Alur;Theoretical and Computer Science,1994
3. Defining intelligent control;Antsaklis;IEEE Control Systems,1994
4. Defining intelligent control;Antsaklis;IEEE Control Systems,1994
5. Intelligent control;Antsaklis,1997