FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
aa	Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk) Language constrained stabilization of discrete- time switched linear systems: an LMI approach (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)
aaa	Statistical Verification of PCTL Using Stratified Samples (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) 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) 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)
B
bb	Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk) Language constrained stabilization of discrete- time switched linear systems: an LMI approach (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)
bbb	Statistical Verification of PCTL Using Stratified Samples (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) 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) 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)
C
cc	Observability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri Nets (PDF, talk) Language constrained stabilization of discrete- time switched linear systems: an LMI approach (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)
ccc	Statistical Verification of PCTL Using Stratified Samples (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) 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) 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)

Disclaimer | Powered by EasyChair Smart Program