• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Optimal and robust controller synthesis using energy timed automata with uncertainty.

Giovanni BacciPatricia BouyerUli FahrenbergKim G. LarsenNicolas MarkeyPierre-Alain Reynier
Published in: Formal Aspects Comput. (2021)
Keyphrases
  • timed automata
  • controller synthesis
  • model checking
  • robust optimization
  • reachability analysis
  • machine learning
  • optimal control
  • knowledge base
  • multi agent
  • computer simulation
  • autonomic computing systems