Synthesizing controllers for nonlinear hybrid systems

This publication has 8 references indexed in Scilit:

• Phase transitions, curve evolution, and the control of semiconductor manufacturing processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The synthesis of controllers for linear hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Viable control of hybrid systems
  Published by Springer Nature ,1995
• On the synthesis of discrete controllers for timed systems
  Published by Springer Nature ,1995
• Automata on Infinite Objects
  Published by Elsevier ,1990
• Linear Multivariable Control: a Geometric Approach
  Published by Springer Nature ,1979
• Automata on Infinite Objects and Church’s Problem
  CBMS Regional Conference Series in Mathematics, 1972
• Solving Sequential Conditions by Finite-State Strategies
  Transactions of the American Mathematical Society, 1969