Showing 1–20 of 69 results
/ Date/ Name
Jun 23, 2017Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting ConstraintsJul 25, 2018Using control synthesis to generate corner cases: A case study on autonomous drivingOct 31, 2018Multirobot Coordination with Counting Temporal LogicsOct 29, 2018Passivity-Based Analysis of Sampled and Quantized Control ImplementationsJan 2, 2020From Drinking Philosophers to Asynchronous Path-Following RobotsOct 8, 2019Learning Parametric Constraints in High Dimensions from DemonstrationsJul 24, 2021Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing ImperfectionsOct 10, 2015Synthesis of separable controlled invariant sets for modular local control designFeb 11, 2022An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic LoadsJun 3, 2020Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal DemonstrationsOct 18, 2020Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz ConstantsSep 8, 2015Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation ApproachJan 24, 2017Weak Adaptive Submodularity and Group-Based Active Diagnosis with Applications to State Estimation with Persistent Sensor FaultsMar 13, 2019Correct-by-construction control synthesis for buck converters with event-triggered state measurementDec 17, 2018Learning Constraints from DemonstrationsApr 18, 2021Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown SystemsMay 26, 2021Certainty Equivalent Quadratic Control for Markov Jump SystemsJul 12, 2016SAT-based Distributed Reactive Control Protocol Synthesis for Boolean NetworksFeb 3, 2017Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware VehiclesNov 9, 2020Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations