FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM
AUTHORS
KEYWORDS
VOLUMES
FLoC

FoPSS

ITP

CSF

FSCD

SAT

CAV

IJCAR

ICLP

FM

LICS

ADHS

ADSL

ARQNL

ASPOCP

AVOCS

CL&C

COALG

Coq

DCM

Domains13

DSFM

EICNCL

FIDE

FCS

FRIDA

GraMSec

GS

HCVS

HDRA

HOR

HoTT/UF

ICLPDC

IFIP WG 1.6

Isabelle

ITRS

IWC

LaSh

LCC

LearnAut

LFMTP

Linearity/TLLA

LMW

LOLA

LPOP

LSB

MLP

MoRe

MSFP

NLCS

NSV

Overture

PAAR

PARIS

PC

PLR

POS

PRUV

QBF

RCRA

REFINE

ReMOTE

rv4rise

SCSC

SMT

SoMLMFM

SR

SYNT

TERMGRAPH

Tetrapod

ThEdu

TLA

TYDI

UITP

UNIF

Vampire

VaVAS

VDMW

VEMDP

VSTTE

WiL

WPTE

WST
PROGRAM

AUTHORS

KEYWORDS

VOLUME
ADHS FULL PAPERS: KEYWORD INDEX
Papers
Papers with Abstracts
Author Index
Keyword Index
Shortcuts:
A
B
C
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
)
NetworkAware Design of StateFeedback Controllers for Linear Wireless Networked Control Systems
(
PDF
,
talk
)
SpaceTime 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
)
Razumikhintype Theorems on Practical Stability of Dynamic Equations on Time Scales
(
PDF
,
talk
)
HigherDimensional Timed Automata
(
PDF
,
talk
)
Verifying nonlinear analog and mixedsignal circuits with inputs
(
PDF
,
talk
)
Stability of switched systems on nonuniform time domains with non commuting matrices
(
PDF
,
talk
)
Concentration of Measure for ChanceConstrained 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 MultiAgent Coverage Problems with Energy Depletion and Repletion
(
PDF
,
talk
)
CoasterX: A Case Study in ComponentDriven Hybrid Systems Proof Automation
(
PDF
,
talk
)
Tracking Control via Variablegain Integrator and Lookahead Simulation: Application to Leaderfollower Multiagent Networks
(
PDF
,
talk
)
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
(
PDF
,
talk
)
MultiEnergy Scheduling Using a Hybrid Systems Approach
(
PDF
,
talk
)
Generating Dominant Strategies for Continuous TwoPlayer ZeroSum Games
(
PDF
,
talk
)
Compositional Synthesis of Finite Abstractions for ContinuousSpace Stochastic Control Systems: A SmallGain Approach
(
PDF
,
talk
)
TBarrier Certificates: A Continuous Analogy to KInduction
(
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 Abstractionbased Synthesis for Cascade DiscreteTime Control Systems
(
PDF
,
talk
)
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
(
PDF
,
talk
)
Benchmarks for CyberPhysical 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 SystemBased 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 IntervalBased 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 ModelPredictive Control
(
PDF
,
talk
)
Temporal Logic Control of POMDPs Via LabelBased 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
)
DataDriven Switched Affine Modeling for Model Predictive Control
(
PDF
,
talk
)
Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling
(
PDF
,
talk
)
OptimizationBased Design of BoundedError 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
)
NetworkAware Design of StateFeedback Controllers for Linear Wireless Networked Control Systems
(
PDF
,
talk
)
SpaceTime 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
)
Razumikhintype Theorems on Practical Stability of Dynamic Equations on Time Scales
(
PDF
,
talk
)
HigherDimensional Timed Automata
(
PDF
,
talk
)
Verifying nonlinear analog and mixedsignal circuits with inputs
(
PDF
,
talk
)
Stability of switched systems on nonuniform time domains with non commuting matrices
(
PDF
,
talk
)
Concentration of Measure for ChanceConstrained 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 MultiAgent Coverage Problems with Energy Depletion and Repletion
(
PDF
,
talk
)
CoasterX: A Case Study in ComponentDriven Hybrid Systems Proof Automation
(
PDF
,
talk
)
Tracking Control via Variablegain Integrator and Lookahead Simulation: Application to Leaderfollower Multiagent Networks
(
PDF
,
talk
)
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
(
PDF
,
talk
)
MultiEnergy Scheduling Using a Hybrid Systems Approach
(
PDF
,
talk
)
Generating Dominant Strategies for Continuous TwoPlayer ZeroSum Games
(
PDF
,
talk
)
Compositional Synthesis of Finite Abstractions for ContinuousSpace Stochastic Control Systems: A SmallGain Approach
(
PDF
,
talk
)
TBarrier Certificates: A Continuous Analogy to KInduction
(
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 Abstractionbased Synthesis for Cascade DiscreteTime Control Systems
(
PDF
,
talk
)
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
(
PDF
,
talk
)
Benchmarks for CyberPhysical 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 SystemBased 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 IntervalBased 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 ModelPredictive Control
(
PDF
,
talk
)
Temporal Logic Control of POMDPs Via LabelBased 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
)
DataDriven Switched Affine Modeling for Model Predictive Control
(
PDF
,
talk
)
Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling
(
PDF
,
talk
)
OptimizationBased Design of BoundedError 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
)
NetworkAware Design of StateFeedback Controllers for Linear Wireless Networked Control Systems
(
PDF
,
talk
)
SpaceTime 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
)
Razumikhintype Theorems on Practical Stability of Dynamic Equations on Time Scales
(
PDF
,
talk
)
HigherDimensional Timed Automata
(
PDF
,
talk
)
Verifying nonlinear analog and mixedsignal circuits with inputs
(
PDF
,
talk
)
Stability of switched systems on nonuniform time domains with non commuting matrices
(
PDF
,
talk
)
Concentration of Measure for ChanceConstrained 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 MultiAgent Coverage Problems with Energy Depletion and Repletion
(
PDF
,
talk
)
CoasterX: A Case Study in ComponentDriven Hybrid Systems Proof Automation
(
PDF
,
talk
)
Tracking Control via Variablegain Integrator and Lookahead Simulation: Application to Leaderfollower Multiagent Networks
(
PDF
,
talk
)
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
(
PDF
,
talk
)
MultiEnergy Scheduling Using a Hybrid Systems Approach
(
PDF
,
talk
)
Generating Dominant Strategies for Continuous TwoPlayer ZeroSum Games
(
PDF
,
talk
)
Compositional Synthesis of Finite Abstractions for ContinuousSpace Stochastic Control Systems: A SmallGain Approach
(
PDF
,
talk
)
TBarrier Certificates: A Continuous Analogy to KInduction
(
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 Abstractionbased Synthesis for Cascade DiscreteTime Control Systems
(
PDF
,
talk
)
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
(
PDF
,
talk
)
Benchmarks for CyberPhysical 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 SystemBased 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 IntervalBased 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 ModelPredictive Control
(
PDF
,
talk
)
Temporal Logic Control of POMDPs Via LabelBased 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
)
DataDriven Switched Affine Modeling for Model Predictive Control
(
PDF
,
talk
)
Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling
(
PDF
,
talk
)
OptimizationBased Design of BoundedError Estimators Robust to Missing Data
(
PDF
,
talk
)
Disclaimer

Powered by EasyChair Smart Program