Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

10.1109/9.989067

10.1016/S0167-6911(99)00055-9

10.1016/S0304-3975(02)00442-5

10.1109/9.664153

10.1016/S0005-1098(02)00023-7

10.1109/TAC.2007.895849

10.1006/jcss.1998.1581

10.1109/5.871307

10.1007/PL00009858

10.1137/S0363012993259981

10.1023/A:1013339920783

10.1016/j.automatica.2008.02.021

10.1137/0325013

10.1007/s00236-006-0036-6

10.1109/TAC.2008.925824

10.1109/TAC.2006.886494

10.1109/TAC.2004.838497

10.1016/S0304-3975(98)00009-7