Login / Signup

Verification of logic controllers for continuous plants using timed condition/event-system models.

Stefan KowalewskiSebastian EngellJörg PreußigOlaf Stursberg
Published in: Autom. (1999)
Keyphrases
  • statistical models
  • complex systems
  • experimental data
  • analytical model
  • control system
  • probabilistic model
  • real time
  • social networks
  • reinforcement learning
  • prior knowledge
  • statistical model
  • news articles