Login / Signup

Graph process specifications for hybrid networked systems.

Philip TwuPatrick MartinMagnus Egerstedt
Published in: WODES (2010)
Keyphrases
  • graph structure
  • complex systems
  • data sets
  • case study
  • bayesian networks
  • control system
  • management system
  • model checking
  • graph model
  • graph databases
  • finite state machines
  • formal specification
  • diffusion process