Formulas for the extremal controllable sequences in timed-event graphs.
Shigemasa TakaiShinzo KodamaPublished in: IEEE Trans. Autom. Control. (1998)
Keyphrases
- graph theory
- temporal events
- event sequences
- temporal patterns
- logical formulas
- petri net
- weighted graph
- graph structure
- time stamped
- event driven
- graph matching
- event detection
- sequential patterns
- graph partitioning
- graph theoretic
- temporal sequences
- propositional formulas
- temporal order
- spatio temporal
- mathematical formulas
- graph structures
- discrete event
- graph representation
- graph model
- bipartite graph
- markov chain
- graphical models