Alessandro Abate
Organization: University of Oxford
Web page: http://www.cs.ox.ac.uk/people/alessandro.abate
Pages in this Program
ADHS Full papers
ADHS Full papers: Papers with Abstracts
ADHS on Friday, July 13th
ADHS on Thursday, July 12th
ADHS on Wednesday, July 11th
ADHS Program
All Proceedings Papers
CAV All Papers
CAV All Papers: Papers with Abstracts
CAV on Saturday, July 14th
CAV Program
MoRe on Friday, July 13th
MoRe Papers
MoRe Papers: Papers with Abstracts
MoRe Program
Paper: A controlled sewer system should be treated as a sampled data system with events
Paper: A switched system approach to optimize mixing of fluids
Paper: Algorithm for Bernstein Polynomial Control Design
Paper: An Interval-Based Sliding Horizon Motion Planning Method
Paper: Approximate Abstractions of Markov Chains with Interval Decision Processes
Paper: Bayesian Verification of Chemical Reaction Networks
Paper: Benchmarks for Cyber-Physical Systems: A Modular Model Library for Building Automation Systems
Paper: Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
Paper: CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
Paper: Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems
Paper: Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
Paper: Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach
Paper: Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control
Paper: Concentration of Measure for Chance-Constrained Optimization
Paper: Control Synthesis and Classification for Unicycle Dynamics Using the Gradient and Value Sampling Particle Filters
Paper: Control Synthesis for Stochastic Switched Systems Using the Tamed Euler Method
Paper: Counterexample Guided Inductive Synthesis Modulo Theories
Paper: Data-Driven Switched Affine Modeling for Model Predictive Control
Paper: Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time
Paper: Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
Paper: Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems
Paper: Higher-Dimensional Timed Automata
Paper: Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion
Paper: Input Design for Nonlinear Model Discrimination Via Affine Abstraction
Paper: Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System
Paper: Language constrained stabilization of discrete- time switched linear systems: an LMI approach
Paper: Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks
Paper: Logically-Constrained Reinforcement Learning
Paper: Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
Paper: Multi-Energy Scheduling Using a Hybrid Systems Approach
Paper: Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems
Paper: Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
Paper: Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets
Paper: Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems
Paper: On Approximate Predictability of Metric Systems
Paper: On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems
Paper: On invariance and reachability on semialgebraic sets for linear dynamics
Paper: Optimal Symbolic Controllers Determinization for BDD storage.
Paper: Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data
Paper: Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales
Paper: Reachability Analysis for One Dimensional Linear Parabolic Equation
Paper: Safety Control, a Quantitative Approach
Paper: Space-Time Budget Allocation for Marketing Over Social Networks
Paper: Stability of switched systems on non-uniform time domains with non commuting matrices
Paper: Statistical Verification of PCTL Using Stratified Samples
Paper: Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems
Paper: Switch induced instabilities for stable power system DAE models
Paper: Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling
Paper: T-Barrier Certificates: A Continuous Analogy to K-Induction
Paper: Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement
Paper: Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations
Paper: Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks
Paper: Verifying nonlinear analog and mixed-signal circuits with inputs
Program for Friday, July 13th
Program for Saturday, July 14th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 11th
Program for Wednesday, July 18th
SYNT on Wednesday, July 18th
SYNT Program
VEMDP Camera-ready abstracts
VEMDP Camera-ready abstracts: Papers with Abstracts
VEMDP on Thursday, July 19th
VEMDP Program