-
1
-
2
-
3
-
4
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
Published 2023“…The problems we consider are inspired by design work in Personal Rapid Transit (PRT) project at Raytheon (as described to us by Toy Johnson, Steve Spielman and Norm Delisle), and in the California PATH project (as described to us by Shankar Sastry, Datta Godbole and John Lygeros) [7, 6,13, 3].…”
Get full text
-
5
-
6
Adaptive control in the presence of high frequency modelling errors
Published 2005Get full text
Thesis -
7
-
8
Demand response scheme based on lottery-like rebates
Published 2016Get full text
Get full text
Article -
9
-
10
-
11