ADHS PROGRAM
Days: Wednesday, July 11th Thursday, July 12th Friday, July 13th
Wednesday, July 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:15 Session 60A: Invited talk: Raphael Jungers
Location: CS Lecture Theatre B
| 09:00 | Provably efficient algorithms on hybrid automata (abstract) |
10:30-11:00Coffee Break
10:50-12:30 Session 63A: Formal Synthesis
Location: CS Lecture Theatre A
| 10:50 | Optimal Symbolic Controllers Determinization for BDD storage. (abstract) |
| 11:15 | Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (abstract) |
| 11:40 | Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems (abstract) |
| 12:05 | Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings (abstract) |
10:50-12:30 Session 63B: Switched Systems 1
Location: CS Lecture Theatre B
| 10:50 | Language constrained stabilization of discrete- time switched linear systems: an LMI approach (abstract) |
| 11:15 | A switched system approach to optimize mixing of fluids (abstract) |
| 11:40 | Stability of switched systems on non-uniform time domains with non commuting matrices (abstract) |
| 12:05 | On invariance and reachability on semialgebraic sets for linear dynamics (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 66A: FLoC Keynote Lecture: Shafi Goldwasser
Chair:
Location: Maths LT1
| 14:00 | Pseudo deterministic algorithms and proofs (abstract) |
14:00-15:40 Session 66B: Applications 1
Location: CS Lecture Theatre A
| 14:00 | Benchmarks for Cyber-Physical Systems: A Modular Model Library for Building Automation Systems (abstract) |
| 14:25 | CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation (abstract) |
| 14:50 | A controlled sewer system should be treated as a sampled data system with events (abstract) |
| 15:15 | Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS (abstract) |
14:00-15:40 Session 66C: Stochastic systems 1
Location: CS Lecture Theatre B
| 14:00 | Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement (abstract) |
| 14:25 | Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System (abstract) |
| 14:50 | Statistical Verification of PCTL Using Stratified Samples (abstract) |
| 15:15 | Approximate Abstractions of Markov Chains with Interval Decision Processes (abstract) |
15:30-16:00Coffee Break
16:10-17:25 Session 68A: Verification
Location: CS Lecture Theatre A
| 16:10 | Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems (abstract) |
| 16:35 | Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time (abstract) |
| 17:00 | Higher-Dimensional Timed Automata (abstract) |
16:10-17:25 Session 68B: Stability
Location: CS Lecture Theatre B
| 16:10 | Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (abstract) |
| 16:35 | Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales (abstract) |
| 17:00 | Switch induced instabilities for stable power system DAE models (abstract) |
19:00-21:30 FLoC banquet at Examination Schools
FLoC banquet at Examination Schools. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).
Location: Examination Schools
Thursday, July 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:00 Session 70A: Invited talk: Calin Belta
Location: CS Lecture Theatre B
| 09:00 | Formal Synthesis of Control Strategies for Dynamical Systems (abstract) |
10:30-11:00Coffee Break
10:50-12:30 Session 73A: Reachability and safety analysis
Location: CS Lecture Theatre A
| 10:50 | Reachability Analysis for One Dimensional Linear Parabolic Equation (abstract) |
| 11:15 | On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems (abstract) |
| 11:40 | T-Barrier Certificates: A Continuous Analogy to K-Induction (abstract) |
| 12:05 | Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks (abstract) |
10:50-12:30 Session 73B: Observation and Estimation
Chair:
Location: CS Lecture Theatre B
| 10:50 | Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data (abstract) |
| 11:15 | Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (abstract) |
| 11:40 | On Approximate Predictability of Metric Systems (abstract) |
| 12:05 | Input Design for Nonlinear Model Discrimination Via Affine Abstraction (abstract) |
12:30-14:00Lunch Break
14:00-15:40 Session 76A: Optimal and model predictive control
Location: CS Lecture Theatre A
| 14:00 | Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (abstract) |
| 14:25 | Safety Control, a Quantitative Approach (abstract) |
| 14:50 | Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control (abstract) |
| 15:15 | Data-Driven Switched Affine Modeling for Model Predictive Control (abstract) |
14:00-15:40 Session 76B: Networked systems
Location: CS Lecture Theatre B
| 14:00 | Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (abstract) |
| 14:25 | Space-Time Budget Allocation for Marketing Over Social Networks (abstract) |
| 14:50 | Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks (abstract) |
| 15:15 | Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion (abstract) |
15:30-16:00Coffee Break
16:10-17:25 Session 79A: Applications 2
Location: CS Lecture Theatre A
| 16:10 | Multi-Energy Scheduling Using a Hybrid Systems Approach (abstract) |
| 16:35 | Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems (abstract) |
| 17:00 | Verifying nonlinear analog and mixed-signal circuits with inputs (abstract) |
16:10-17:25 Session 79B: Switched systems 2
Location: CS Lecture Theatre B
| 16:10 | Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (abstract) |
| 16:35 | Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling (abstract) |
| 17:00 | Control Synthesis for Stochastic Switched Systems Using the Tamed Euler Method (abstract) |
19:45-21:30 ADHS Banquet at Balliol College
The ADHS18 banquet will be at Balliol College, Oxford. Drinks reception from 7:45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College
Friday, July 13th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:00 Session 83A: Invited talk: Erika Abraham
Chair:
Location: CS Lecture Theatre B
| 09:00 | Old-established methods in a new look: How HyPro speeds up reachability computations for hybrid systems (abstract) |
10:30-11:00Coffee Break
10:50-12:05 Session 85: Stochastic systems 2
Location: CS Lecture Theatre A
| 10:50 | Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach (abstract) |
| 11:15 | Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (abstract) |
| 11:40 | Concentration of Measure for Chance-Constrained Optimization (abstract) |
12:30-14:00Lunch Break
14:00-15:15 Session 87A: Control Synthesis
Location: CS Lecture Theatre A
| 14:00 | Algorithm for Bernstein Polynomial Control Design (abstract) |
| 14:25 | Control Synthesis and Classification for Unicycle Dynamics Using the Gradient and Value Sampling Particle Filters (abstract) |
| 14:50 | An Interval-Based Sliding Horizon Motion Planning Method (abstract) |
15:30-16:00Coffee Break
19:00-21:30 Workshops dinner at Keble College
Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).
Location: Keble College