Control and Synthesis of Non-Interferent Timed Systems

Gilles Benattar Franck Cassez Didier Lime Olivier H. Roux

Published in: CoRR (2012)

Keyphrases

management system
machine learning
intelligent systems
optimal control
real time systems
discrete event
human machine interface
database
databases
neural network
information retrieval
markov chain
complex systems
petri net
human operators
autonomous systems