HSCC'17: HSCC'17: 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK)

A
Abate, Alessandro	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Abbas, Houssam	Relaxed decidability and the robust semantics of Metric Temporal Logic
Adje, Assale	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Al Khatib, Mohammad	Scheduling of embedded controllers under timing contracts
Althoff, Matthias	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Ambrose, Eric	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Ames, Aaron	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Angeli, David	Path-Complete Graphs and Common Lyapunov Functions.
Arcak, Murat	A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Athanasopoulos, Nikolaos	Path-Complete Graphs and Common Lyapunov Functions.
B
Bak, Stanley	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Benveniste, Albert	Structural Analysis of Multi-Mode DAE Systems
Bessa, Iury	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Bogomolov, Sergiy	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Borgers, D.P.	Dynamic Periodic Event-Triggered Control for Linear Systems
Bortolussi, Luca	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Burden, Samuel A.	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Butts, Ken	Abnormal Data Classification Using Time-Frequency Temporal Logic
C
Caillaud, Benoit	Structural Analysis of Multi-Mode DAE Systems
Cardelli, Luca	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Cattaruzza, Dario	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Ceska, Milan	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Cordeiro, Lucas	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
D
Dang, Thao	Scheduling of embedded controllers under timing contracts
David, Cristina	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Deshmukh, Jyotirmoy	Abnormal Data Classification Using Time-Frequency Temporal Logic
Dolk, V.S.	Dynamic Periodic Event-Triggered Control for Linear Systems
Dreossi, Tommaso	Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Duggirala, Parasara Sridhar	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Dullerud, Geir	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
E
Elmqvist, Hilding	Structural Analysis of Multi-Mode DAE Systems
F
Fu, Jie	Sampling-based approximate optimal control under temporal logic constraints
G
García Soto, Miriam	Formal Synthesis of Stabilizing Controllers for Switched Systems
Ghorbal, Khalil	Structural Analysis of Multi-Mode DAE Systems
Girard, Antoine	Scheduling of embedded controllers under timing contracts
Goubault, Eric	Forward inner-approximated reachability of non-linear continuous systems
H
Heemels, W.P.M.H.	Dynamic Periodic Event-Triggered Control for Linear Systems
Henzinger, Thomas	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Homchaudhuri, Baisravan	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
Hubicki, Christian	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
J
Jiang, Yu	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Jin, Xiaoqing	Abnormal Data Classification Using Time-Frequency Temporal Logic
Johnson, Taylor	Abnormal Data Classification Using Time-Frequency Temporal Logic
Jungers, Raphaël	Path-Complete Graphs and Common Lyapunov Functions.
K
Kapinski, James	Abnormal Data Classification Using Time-Frequency Temporal Logic
Kesseli, Pascal	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Kim, Eric	A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Kolathaya, Shishir	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Kong, Hui	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Kroening, Daniel	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Kwiatkowska, Marta	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
L
Laurenti, Luca	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Liu, Jun	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties
M
Ma, Wenlong	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Majumdar, Rupak	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Mangharam, Rahul	Relaxed decidability and the robust semantics of Metric Temporal Logic
Mitra, Sayan	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
N
Nguyen, Luan	Abnormal Data Classification Using Time-Frequency Temporal Logic
Nilsson, Petter	On a class of maximal invariance inducing control strategies for large collections of switched systems
Nuzzo, Pierluigi	SMC: Satisfiability modulo Convex Optimization
O
O'Kelly, Matthew	Relaxed decidability and the robust semantics of Metric Temporal Logic
Oishi, Meeko	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
Otter, Martin	Structural Analysis of Multi-Mode DAE Systems
Ouaknine, Joel	On the Polytope Escape Problem for Linear Dynamical Systems
Ozay, Necmiye	On a class of maximal invariance inducing control strategies for large collections of switched systems
P
Pace, Andrew M.	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Pappas, George J.	SMC: Satisfiability modulo Convex Optimization
Papusha, Ivan	Sampling-based approximate optimal control under temporal logic constraints
Philippe, Matthew	Path-Complete Graphs and Common Lyapunov Functions.
Pouzet, Marc	Structural Analysis of Multi-Mode DAE Systems
Prabhakar, Pavithra	Formal Synthesis of Stabilizing Controllers for Switched Systems Robust Model Checking of Timed Automata under Clock Drifts
Putot, Sylvie	Forward inner-approximated reachability of non-linear continuous systems
R
Roohi, Nima	Statistical Verification of the Toyota Powertrain Control Verification Benchmark Robust Model Checking of Timed Automata under Clock Drifts
Rungger, Matthias	Invariance Feedback Entropy of Non-deterministic Control Systems
S
Sangiovanni-Vincentelli, Alberto L.	SMC: Satisfiability modulo Convex Optimization
Schilling, Christian	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Schürmann, Bastian	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Seshia, Sanjit A.	SMC: Satisfiability modulo Convex Optimization A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Shoukry, Yasser	SMC: Satisfiability modulo Convex Optimization
Sibai, Hussein	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
Soudjani, Sadegh	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Sousa Pinto, Joao	On the Polytope Escape Problem for Linear Dynamical Systems
T
Tabuada, Paulo	SMC: Satisfiability modulo Convex Optimization
Tedrake, Russ	Convex and Combinatorial Optimization for Dynamic Robots in the Real World
Topcu, Ufuk	Sampling-based approximate optimal control under temporal logic constraints
V
Vinod, Abraham	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
Viswanathan, Mahesh	Statistical Verification of the Toyota Powertrain Control Verification Benchmark Robust Model Checking of Timed Automata under Clock Drifts
W
Wang, Yu	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
West, Matthew	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
Worrell, James	On the Polytope Escape Problem for Linear Dynamical Systems
Z
Zamani, Majid	Invariance Feedback Entropy of Non-deterministic Control Systems

Disclaimer | Powered by EasyChair Smart Program