FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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 57A: Invited talk: Raphael Jungers
09:00
Provably efficient algorithms on hybrid automata (abstract)
10:30-11:00Coffee Break
10:50-12:30 Session 60A: Formal Synthesis
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 60B: Switched Systems 1
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:40 Session 63B: Applications 1
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 63C: Stochastic systems 1
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 65A: Verification
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 65B: Stability
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).

Thursday, July 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 67A: Invited talk: Calin Belta
09:00
Formal Synthesis of Control Strategies for Dynamical Systems (abstract)
10:30-11:00Coffee Break
10:50-12:30 Session 70A: Reachability and safety analysis
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 70B: Observation and Estimation
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 73A: Optimal and model predictive control
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 73B: Networked systems
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 76A: Applications 2
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 76B: Switched systems 2
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 80A: Invited talk: Erika Abraham
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 82: Stochastic systems 2
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 84A: Control Synthesis
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