Traffic Characterization of LTI Event-triggered Control Systems: a Formal Approach.
Arman Sharifi KolarijaniManuel Mazo Jr.Published in: CoRR (2015)
Keyphrases
- control system
- network traffic
- event detection
- real time
- internet traffic
- control law
- event driven
- linear time invariant
- fuzzy control systems
- traffic engineering
- traffic control
- traffic management
- traffic congestion
- traffic data
- formal methods
- traffic flow
- formal model
- road network
- news articles
- event sequences
- formal specification
- closed loop
- fuzzy logic
- neural network