HSCC'19: 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

A
A. Seshia, Sanjit	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Abate, Alessandro	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Abbas, Houssam	Temporal Logic Robustness for General Signal Classes
Al Khatib, Mohammad	Verification and synthesis of interconnected embedded control systems under timing contracts
All Attendees,	Discussion
Alur, Rajeev	Verisig: verifying safety properties of hybrid systems with neural network controllers Formal models of hybrid systems: the early years
Anevlavis, Tzanis	Evrostos: The rLTL Verifier
Arcak, Murat	TIRA: Toolbox for Interval Reachability Analysis
Asarin, Eugène	Reachability in hybrid systems: 25 years of optimism
B
Bak, Stanley	Numerical Verification of Affine Systems with up to a Billion Dimensions
Bansal, Somil	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Benes, Nikola	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
Benveniste, Albert	Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics?
Bogomolov, Sergiy	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing JuliaReach: a Toolbox for Set-Based Reachability
Brim, Lubos	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
C
Cardelli, Luca	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Cauchi, Nathalie	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Chen, Xin	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
D
Deshmukh, Jyotirmoy	Simulation-based and Data-driven Reasoning for Cyber-Physical Systems
Devonport, Alex	TIRA: Toolbox for Interval Reachability Analysis
Donze, Alexandre	Interface-Aware Signal Temporal Logic
Dražanová, Jana	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
Dutta, Souradeep	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
F
Fainekos, Georgios	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
Ferrere, Thomas	Interface-Aware Signal Temporal Logic
Fijalkow, Nathanaël	On the Decidability of Reachability in Linear Time-Invariant Systems
Forets, Marcelo	JuliaReach: a Toolbox for Set-Based Reachability
Fraenzle, Martin	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Frehse, Goran	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing JuliaReach: a Toolbox for Set-Based Reachability
G
Ghosh, Shromona	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Gleason, Joseph D.	SReachTools: A MATLAB Stochastic Reachability Toolbox
Goubault, Eric	Inner and Outer Reachability for the Verification of Control Systems
Gurung, Amit	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
H
Hespanha, Joao	On topological entropy and stability of switched linear systems
Ho, Hsi-Ming	Revisiting Timed Logics with Automata Modalities
Hscc,	Business Meeting
Huang, Chao	Formal Verification of Weakly-Hard Systems
I
Ito, Hisahiro	Interface-Aware Signal Temporal Logic
Ivanov, Radoslav	Verisig: verifying safety properties of hybrid systems with neural network controllers
J
Johnson, Taylor T	Numerical Verification of Affine Systems with up to a Billion Dimensions
Jungers, Raphaël	A complete characterization of the ordering of path-complete methods
K
Kapinski, James	Interface-Aware Signal Temporal Logic
Katz, Guy	Neural Network Verification via SMT Solving
Khaled, Mahmoud	pFaces: An Acceleration Ecosystem for Symbolic Control
Khedr, Haitham	Formal Verification of Neural Network Controlled Autonomous Systems
Krogh, Bruce	Building trusted systems from untrusted components
Kwiatkowska, Marta	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
L
Lahijanian, Morteza	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Lanotte, Ruggero	On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
Laurenti, Luca	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Lee, Insup	Verisig: verifying safety properties of hybrid systems with neural network controllers
Li, Dongxu	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
Li, Wenchao	Formal Verification of Weakly-Hard Systems
Liberzon, Daniel	On topological entropy and stability of switched linear systems
M
Maghenem, Mohamed	Characterizations of Safety in Hybrid Inclusions via Barrier Functions
Mangharam, Rahul	Temporal Logic Robustness for General Signal Classes
Marcucci, Tobia	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
Martius, Georg	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
Merro, Massimo	On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
Meyer, Pierre-Jean	TIRA: Toolbox for Interval Reachability Analysis
Mogavero, Fabio	On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
Morari, Manfred	Our Work with Oded Maler and his Impact
N
Neider, Daniel	Evrostos: The rLTL Verifier
Nickovic, Dejan	Interface-Aware Signal Temporal Logic
O
Oishi, Meeko M. K.	SReachTools: A MATLAB Stochastic Reachability Toolbox
Ouaknine, Joel	On the Decidability of Reachability in Linear Time-Invariant Systems
P
Pant, Yash Vardhan	Temporal Logic Robustness for General Signal Classes
Pappas, George	Verisig: verifying safety properties of hybrid systems with neural network controllers
Pastva, Samuel	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
Philippe, Matthew	A complete characterization of the ordering of path-complete methods Evrostos: The rLTL Verifier
Potomkin, Kostiantyn	JuliaReach: a Toolbox for Set-Based Reachability
Pouly, Amaury	On the Decidability of Reachability in Linear Time-Invariant Systems
Putot, Sylvie	Inner and Outer Reachability for the Verification of Control Systems
R
Ray, Rajarshi	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
S
Sanfelice, Ricardo	Characterizations of Safety in Hybrid Inclusions via Barrier Functions
Sangiovanni-Vincentelli, Alberto	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Sankaranarayanan, Sriram	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
Schilling, Christian	JuliaReach: a Toolbox for Set-Based Reachability
Shoukry, Yasser	Formal Verification of Neural Network Controlled Autonomous Systems
Sousa Pinto, Joao	On the Decidability of Reachability in Linear Time-Invariant Systems
Sun, Xiaowu	Formal Verification of Neural Network Controlled Autonomous Systems
T
Tabuada, Paulo	Evrostos: The rLTL Verifier
Tedrake, Russ	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
Tomlin, Claire	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Tran, Hoang Dung	Numerical Verification of Affine Systems with up to a Billion Dimensions
V
Vinod, Abraham P.	SReachTools: A MATLAB Stochastic Reachability Toolbox
W
Wang, Qiuye	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Weimer, James	Verisig: verifying safety properties of hybrid systems with neural network controllers
Worrell, James	On the Decidability of Reachability in Linear Time-Invariant Systems
X
Xue, Bai	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Y
Yaghoubi, Shakiba	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
Yang, Guosong	On topological entropy and stability of switched linear systems
Z
Zamani, Majid	Verification and synthesis of interconnected embedded control systems under timing contracts pFaces: An Acceleration Ecosystem for Symbolic Control
Zhan, Naijun	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Zhu, Qi	Formal Verification of Weakly-Hard Systems
Š
Šafránek, David	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT

Disclaimer | Powered by EasyChair Smart Program