FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Abate, Alessandro	Approximate Abstractions of Markov Chains with Interval Decision Processes (PDF, talk)
Abate, Alessandro	Benchmarks for Cyber-Physical Systems: A Modular Model Library for Building Automation Systems (PDF, talk)
Abate, Alessandro	Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement (PDF, talk)
Agha-Mohammadi, Ali-Akbar	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
Ahmadi, Mohamadreza	Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (PDF, talk)
Ames, Aaron	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
Anderson, Patrick	A switched system approach to optimize mixing of fluids (PDF, talk)
Antunes, Duarte	A switched system approach to optimize mixing of fluids (PDF, talk)
B
Bak, Stanley	Reachability Analysis for One Dimensional Linear Parabolic Equation (PDF, talk)
Bakker, Bert G.J.	Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System (PDF, talk)
Bartocci, Ezio	Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk)
Bourdais, Romain	Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems (PDF, talk)
Brendel, Elliot	An Interval-Based Sliding Horizon Motion Planning Method (PDF, talk)
Busoniu, Lucian	Space-Time Budget Allocation for Marketing Over Social Networks (PDF, talk)
C
Cassandras, Christos G.	Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion (PDF, talk)
Chapoutot, Alexandre	An Interval-Based Sliding Horizon Motion Planning Method (PDF, talk)
Chuang, Xue An	CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation (PDF, talk)
Costa, Oswaldo Luiz V.	Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk)
D
D'Innocenzo, Alessandro	Approximate Abstractions of Markov Chains with Interval Decision Processes (PDF, talk)
D'Innocenzo, Alessandro	Data-Driven Switched Affine Modeling for Model Predictive Control (PDF, talk)
Daafouz, Jamal	Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk)
Dang, Thao	Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (PDF, talk)
De Santis, Elena	On Approximate Predictability of Metric Systems (PDF, talk)
Defoort, Michael	Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales (PDF, talk)
Defoort, Michael	Stability of switched systems on non-uniform time domains with non commuting matrices (PDF, talk)
Di Benedetto, Maria Domenica	On Approximate Predictability of Metric Systems (PDF, talk)
Ding, Yuhao	Input Design for Nonlinear Model Discrimination Via Affine Abstraction (PDF, talk)
Djemai, Mohamed	Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales (PDF, talk)
Djemai, Mohamed	Stability of switched systems on non-uniform time domains with non commuting matrices (PDF, talk)
Djouadi, Seddik	Stability of switched systems on non-uniform time domains with non commuting matrices (PDF, talk)
Duggirala, Parasara Sridhar	On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems (PDF, talk)
Dullerud, Geir E.	Statistical Verification of PCTL Using Stratified Samples (PDF, talk)
E
Egerstedt, Magnus	Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks (PDF, talk)
F
Fainekos, Georgios	Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time (PDF, talk)
Fainekos, Georgios	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS (PDF, talk)
Fanchon, Eric	Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (PDF, talk)
Fiacchini, Mirko	Language constrained stabilization of discrete- time switched linear systems: an LMI approach (PDF, talk)
Foo, Yi Shyh Eddy	Multi-Energy Scheduling Using a Hybrid Systems Approach (PDF, talk)
Forets, Marcelo	Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (PDF, talk)
Fribourg, Laurent	Control Synthesis for Stochastic Switched Systems Using the Tamed Euler Method (PDF, talk)
G
Ghosh, Shromona	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (PDF, talk)
Girard, Antoine	Safety Control, a Quantitative Approach (PDF, talk)
Girard, Antoine	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems (PDF, talk)
Girard, Antoine	Language constrained stabilization of discrete- time switched linear systems: an LMI approach (PDF, talk)
Girard, Antoine	Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling (PDF, talk)
Gooi, H. B.	Multi-Energy Scheduling Using a Hybrid Systems Approach (PDF, talk)
Gueguen, Herve	Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems (PDF, talk)
Gómez-Gutiérrez, David	Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk)
H
Hasuo, Ichiro	Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (PDF, talk)
Heemels, Maurice	A switched system approach to optimize mixing of fluids (PDF, talk)
Hencey, Brandon	Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (PDF, talk)
Houshmand, Arian	Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion (PDF, talk)
Hoxha, Bardh	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS (PDF, talk)
J
Jagtap, Pushpak	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems (PDF, talk)
Jain, Achin	Data-Driven Switched Affine Modeling for Model Predictive Control (PDF, talk)
Jha, Susmit	Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks (PDF, talk)
Johnson, Taylor T	Reachability Analysis for One Dimensional Linear Parabolic Equation (PDF, talk)
Johnson, Taylor T	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS (PDF, talk)
Jungers, Raphaël M.	Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control (PDF, talk)
Jungers, Raphaël M.	On invariance and reachability on semialgebraic sets for linear dynamics (PDF, talk)
K
Kolechkina, Alla G.	A controlled sewer system should be treated as a sampled data system with events (PDF, talk)
L
Laleg-Kirati, Taous-Meriem	Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales (PDF, talk)
Lasaulce, Samson	Space-Time Budget Allocation for Marketing Over Social Networks (PDF, talk)
Lauret, Menno	A switched system approach to optimize mixing of fluids (PDF, talk)
Luo, Adriel	CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation (PDF, talk)
M
Ma, Hao	Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System (PDF, talk)
Magron, Victor	Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (PDF, talk)
Maier, Jürgen	Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk)
Majumdar, Rupak	Concentration of Measure for Chance-Constrained Optimization (PDF, talk)
Mangharam, Rahul	Data-Driven Switched Affine Modeling for Model Predictive Control (PDF, talk)
Mazo Jr., Manuel	Optimal Symbolic Controllers Determinization for BDD storage. (PDF, talk)
Meng, Yu	Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk)
Mitchell, Ian M.	Control Synthesis and Classification for Unicycle Dynamics Using the Gradient and Value Sampling Particle Filters (PDF, talk)
Mitra, Sayan	Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk)
Morarescu, Irinel Constantin	Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk)
Murray, Richard M.	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
N
Nilsson, Petter	Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings (PDF, talk)
Nilsson, Petter	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
O
Ozay, Necmiye	Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings (PDF, talk)
Ozay, Necmiye	Input Design for Nonlinear Model Discrimination Via Affine Abstraction (PDF, talk)
Ozay, Necmiye	Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data (PDF, talk)
P
Patil, Bhagyesh	Multi-Energy Scheduling Using a Hybrid Systems Approach (PDF, talk)
Platzer, Andre	CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation (PDF, talk)
Pola, Giordano	On Approximate Predictability of Metric Systems (PDF, talk)
Postoyan, Romain	Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk)
R
Raman, Vasumathi	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (PDF, talk)
Ramirez-Trevino, Antonio	Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk)
Rohan, Thakker	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
Roohi, Nima	Statistical Verification of PCTL Using Stratified Samples (PDF, talk)
S
Sampath, Mohasha Isuru	Multi-Energy Scheduling Using a Hybrid Systems Approach (PDF, talk)
Sanfelice, Ricardo	Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems (PDF, talk)
Sangiovanni-Vincentelli, Alberto	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (PDF, talk)
Sankaranarayanan, Sriram	Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks (PDF, talk)
Saoud, Adnane	Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling (PDF, talk)
Schmid, Ulrich	Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk)
Seatzu, Carla	Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks (PDF, talk)
Sedwards, Sean	Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (PDF, talk)
Seshia, Sanjit	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (PDF, talk)
Soudjani, Sadegh	Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach (PDF, talk)
Soudjani, Sadegh	Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement (PDF, talk)
T
Tabuada, Paulo	Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control (PDF, talk)
Tiwari, Ashish	Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks (PDF, talk)
Topcu, Ufuk	Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (PDF, talk)
Trenn, Stephan	Switch induced instabilities for stable power system DAE models (PDF, talk)
V
Vacher, Jonathan	Control Synthesis for Stochastic Switched Systems Using the Tamed Euler Method (PDF, talk)
Varma, Vineeth Satheeskumar	Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk)
Varma, Vineeth Satheeskumar	Space-Time Budget Allocation for Marketing Over Social Networks (PDF, talk)
Vasile, Cristian-Ioan	Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk)
Verdier, Cees	Optimal Symbolic Controllers Determinization for BDD storage. (PDF, talk)
Viswanathan, Mahesh	Statistical Verification of PCTL Using Stratified Samples (PDF, talk)
W
Wang, Yu	Statistical Verification of PCTL Using Stratified Samples (PDF, talk) Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk) Switch induced instabilities for stable power system DAE models (PDF, talk) Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems (PDF, talk) Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems (PDF, talk) Space-Time Budget Allocation for Marketing Over Social Networks (PDF, talk) Reachability Analysis for One Dimensional Linear Parabolic Equation (PDF, talk) Safety Control, a Quantitative Approach (PDF, talk) A switched system approach to optimize mixing of fluids (PDF, talk) Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales (PDF, talk) Higher-Dimensional Timed Automata (PDF, talk) Verifying nonlinear analog and mixed-signal circuits with inputs (PDF, talk) Stability of switched systems on non-uniform time domains with non commuting matrices (PDF, talk) Concentration of Measure for Chance-Constrained Optimization (PDF, talk) Optimal Symbolic Controllers Determinization for BDD storage. (PDF, talk) Occupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems (PDF, talk) On Approximate Predictability of Metric Systems (PDF, talk) Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion (PDF, talk) CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation (PDF, talk) Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks (PDF, talk) Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (PDF, talk) Multi-Energy Scheduling Using a Hybrid Systems Approach (PDF, talk) Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (PDF, talk) Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach (PDF, talk) T-Barrier Certificates: A Continuous Analogy to K-Induction (PDF, talk) Approximate Abstractions of Markov Chains with Interval Decision Processes (PDF, talk) Control Synthesis for Stochastic Switched Systems Using the Tamed Euler Method (PDF, talk) Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems (PDF, talk) Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings (PDF, talk) Benchmarks for Cyber-Physical Systems: A Modular Model Library for Building Automation Systems (PDF, talk) Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement (PDF, talk) Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (PDF, talk) Language constrained stabilization of discrete- time switched linear systems: an LMI approach (PDF, talk) Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System (PDF, talk) A controlled sewer system should be treated as a sampled data system with events (PDF, talk) An Interval-Based Sliding Horizon Motion Planning Method (PDF, talk) Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time (PDF, talk) Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control (PDF, talk) Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations (PDF, talk) Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS (PDF, talk) Input Design for Nonlinear Model Discrimination Via Affine Abstraction (PDF, talk) Learning and Verification of Feedback Control Systems Using Feedforward Neural Networks (PDF, talk) Control Synthesis and Classification for Unicycle Dynamics Using the Gradient and Value Sampling Particle Filters (PDF, talk) Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems (PDF, talk) Algorithm for Bernstein Polynomial Control Design (PDF, talk) On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems (PDF, talk) On invariance and reachability on semialgebraic sets for linear dynamics (PDF, talk) Data-Driven Switched Affine Modeling for Model Predictive Control (PDF, talk) Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling (PDF, talk) Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data (PDF, talk)
West, Matthew	Statistical Verification of PCTL Using Stratified Samples (PDF, talk)
Wheatley, Jack	Approximate Abstractions of Markov Chains with Interval Decision Processes (PDF, talk)
Wirsen, Andreas	Switch induced instabilities for stable power system DAE models (PDF, talk)
Wisniewski, Rafal	Algorithm for Bernstein Polynomial Control Design (PDF, talk)
X
Xiang, Weiming	Reachability Analysis for One Dimensional Linear Parabolic Equation (PDF, talk)
Y
Yong, Sze Zheng	Input Design for Nonlinear Model Discrimination Via Affine Abstraction (PDF, talk)
Yong, Sze Zheng	Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data (PDF, talk)
Z
Zamani, Majid	Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach (PDF, talk)
Zamani, Majid	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program