FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program