C. Tomlin
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
1998/04/01 by C. Tomlin, Claire J. Tomlin, G.J. Pappas +3 · 7 citations
Computer Science · Engineering · #Formal Methods in Verification #Robotic Path Planning Algorithms #Air Traffic Management and Optimization
- Reducing Transient and Steady State Electricity Consumption in HVAC Using Learning-Based Model-Predictive Control
2011/08/16 by A. Aswani, Anil Aswani, N. Master +7 · 6 citations
Engineering · #Building Energy and Comfort Optimization #Advanced Control Systems Optimization #Smart Grid Energy Management