Authors: Zhang, J Johansson, KH Lygeros, J Sastry, S

Citation: J. Zhang et al., Zeno hybrid systems, INT J ROBUS, 11(5), 2001, pp. 435-451

Authors: Lygeros, J Godbole, DN Broucke, M

Citation: J. Lygeros et al., A fault tolerant control architecture for automated highway systems, IEEE CON SY, 8(2), 2000, pp. 205-219

Authors: Tomlin, CJ Lygeros, J Sastry, SS

Citation: Cj. Tomlin et al., A game theoretic approach to controller design for hybrid systems, P IEEE, 88(7), 2000, pp. 949-970

Authors: Johansson, KH Egerstedt, M Lygeros, J Sastry, S

Citation: Kh. Johansson et al., On the regularization of Zeno hybrid automata, SYST CONTR, 38(3), 1999, pp. 141-150

Authors: Lygeros, J Tomlin, C Sastry, S

Citation: J. Lygeros et al., Controllers for reachability specifications for hybrid systems, AUTOMATICA, 35(3), 1999, pp. 349-370

Authors: Michael, JB Godbole, DN Lygeros, J Sengupta, R

Citation: Jb. Michael et al., Capacity analysis of traffic flow over a single-lane automated highway system, ITS J, 4(1-2), 1998, pp. 49-80