Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields

This publication has 6 references indexed in Scilit:

• On the Supremal Controllable Sublanguage of a Given Language
  SIAM Journal on Control and Optimization, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987
• SIGNAL: A declarative language for synchronous programming of real-time systems
  Published by Springer Nature ,1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Signal--A data flow-oriented language for signal processing
  IEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977