Login / Signup

A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata.

Ryo YanaseTatsunori SakaiMakoto SakaiSatoshi Yamane
Published in: ICFEM (2016)
Keyphrases
  • hybrid automata
  • formal methods
  • expert systems
  • management system
  • linear systems
  • database
  • case study
  • distributed systems
  • knowledge based systems
  • dynamic environments
  • complex systems
  • dynamic aspects