Search results

• Sarah Dean, 11-12 Feb 2020
  * 3:30 pm: Angie Liu (315 Annenberg)
  2 KB (319 words) - 00:06, 11 February 2020
• Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems
  | authors = Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray
  2 KB (235 words) - 06:15, 15 May 2016
• June 2011 meetings
  * 5:30p - Jun Liu
  1 KB (187 words) - 16:33, 3 June 2011
• Elbert Macau, June 2011
  * 1 pm: Meet with Jun Liu, 114 Steele
  834 bytes (123 words) - 18:30, 1 June 2011
• EECI 2013: Algorithmic Verification of Hybrid Systems
  ...llers for differentially flat systems with temporal logic constraints], J. Liu, N. Ozay, U. Topcu, and R. Murray, Control and Decision Conference, 2012. <
  3 KB (465 words) - 18:04, 2 March 2014
• EECI 2020: Discrete Abstractions
  ...llers for differentially flat systems with temporal logic constraints], J. Liu, N. Ozay, U. Topcu, and R. Murray, Control and Decision Conference, 2012. <
  3 KB (432 words) - 17:02, 29 February 2020
• Synthesis of Reactive Switching Protocols from Temporal Logic Specifications
  | authors = Jun Liu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray
  2 KB (235 words) - 06:15, 15 May 2016
• SURF 2015: Provably-correct control synthesis for automotive active safety systems
  [4] J. Liu, and N. Ozay, “Abstraction, Discretization, and Robustness in Temporal Lo
  4 KB (590 words) - 17:34, 31 December 2014
• Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
  | authors = Pavithra Prabhakar, Jun Liu and Richard M. Murray
  1 KB (158 words) - 06:15, 15 May 2016
• Synthesis of Reactive Control Protocols for Differentially Flat Systems
  | authors = Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray
  1 KB (164 words) - 06:15, 15 May 2016
• On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
  | authors = Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray
  1 KB (180 words) - 06:15, 15 May 2016
• Group Schedule, Winter 2012
  * Jun Liu (15-20 min)
  6 KB (833 words) - 16:47, 2 March 2012
• Synthesis of Switching Protocols from Temporal Logic Specifications
  | authors = Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray
  2 KB (228 words) - 06:15, 15 May 2016

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)