Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hybrid/hscc2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/hybrid/AbateBCCDKK17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening},
editor = {Goran Frehse and
Sayan Mitra},
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for
Continuous Plants},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {197--206},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049802},
doi = {10.1145/3049797.3049802},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateBCCDKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasOM17,
author = {Houssam Abbas and
Matthew O'Kelly and
Rahul Mangharam},
editor = {Goran Frehse and
Sayan Mitra},
title = {Relaxed Decidability and the Robust Semantics of Metric Temporal Logic},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {217--225},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049813},
doi = {10.1145/3049797.3049813},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbbasOM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Adje17,
author = {Assal{\'{e}} Adj{\'{e}}},
editor = {Goran Frehse and
Sayan Mitra},
title = {Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {143--152},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049825},
doi = {10.1145/3049797.3049825},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Adje17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AngeliAJP17,
author = {David Angeli and
Nikolaos Athanasopoulos and
Rapha{\"{e}}l M. Jungers and
Matthew Philippe},
editor = {Goran Frehse and
Sayan Mitra},
title = {Path-Complete Graphs and Common Lyapunov Functions},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {81--90},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049817},
doi = {10.1145/3049797.3049817},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AngeliAJP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakD17,
author = {Stanley Bak and
Parasara Sridhar Duggirala},
editor = {Goran Frehse and
Sayan Mitra},
title = {HyLAA: {A} Tool for Computing Simulation-Equivalent Reachability for
Linear Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {173--178},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049808},
doi = {10.1145/3049797.3049808},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BakD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BenvenisteCEGOP17,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Hilding Elmqvist and
Khalil Ghorbal and
Martin Otter and
Marc Pouzet},
editor = {Goran Frehse and
Sayan Mitra},
title = {Structural Analysis of Multi-Mode {DAE} Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {253--263},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049806},
doi = {10.1145/3049797.3049806},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BenvenisteCEGOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BorgersDH17,
author = {Dominicus P. Borgers and
Victor S. Dolk and
W. P. M. H. Heemels},
editor = {Goran Frehse and
Sayan Mitra},
title = {Dynamic Periodic Event-Triggered Control for Linear Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {179--186},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049815},
doi = {10.1145/3049797.3049815},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BorgersDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Dreossi17,
author = {Tommaso Dreossi},
editor = {Goran Frehse and
Sayan Mitra},
title = {Sapo: Reachability Computation and Parameter Synthesis of Polynomial
Dynamical Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {29--34},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049824},
doi = {10.1145/3049797.3049824},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Dreossi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FuPT17,
author = {Jie Fu and
Ivan Papusha and
Ufuk Topcu},
editor = {Goran Frehse and
Sayan Mitra},
title = {Sampling-based Approximate Optimal Control Under Temporal Logic Constraints},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {227--235},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049820},
doi = {10.1145/3049797.3049820},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FuPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultP17,
author = {Eric Goubault and
Sylvie Putot},
editor = {Goran Frehse and
Sayan Mitra},
title = {Forward Inner-Approximated Reachability of Non-Linear Continuous Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {1--10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049811},
doi = {10.1145/3049797.3049811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KhatibGD17,
author = {Mohammad Al Khatib and
Antoine Girard and
Thao Dang},
editor = {Goran Frehse and
Sayan Mitra},
title = {Scheduling of Embedded Controllers Under Timing Contracts},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {131--140},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049816},
doi = {10.1145/3049797.3049816},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KhatibGD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KimAS17,
author = {Eric S. Kim and
Murat Arcak and
Sanjit A. Seshia},
editor = {Goran Frehse and
Sayan Mitra},
title = {A Small Gain Theorem for Parametric Assume-Guarantee Contracts},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {207--216},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049805},
doi = {10.1145/3049797.3049805},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/KimAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KongBSJH17,
author = {Hui Kong and
Sergiy Bogomolov and
Christian Schilling and
Yu Jiang and
Thomas A. Henzinger},
editor = {Goran Frehse and
Sayan Mitra},
title = {Safety Verification of Nonlinear Hybrid Systems Based on Invariant
Clusters},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {163--172},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049814},
doi = {10.1145/3049797.3049814},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KongBSJH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LaurentiABCCK17,
author = {Luca Laurenti and
Alessandro Abate and
Luca Bortolussi and
Luca Cardelli and
Milan Ceska and
Marta Z. Kwiatkowska},
editor = {Goran Frehse and
Sayan Mitra},
title = {Reachability Computation for Switching Diffusions: Finite Abstractions
with Certifiable and Tuneable Precision},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {55--64},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049812},
doi = {10.1145/3049797.3049812},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LaurentiABCCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Liu17,
author = {Jun Liu},
editor = {Goran Frehse and
Sayan Mitra},
title = {Robust Abstractions for Control Synthesis: Completeness via Robustness
for Linear-Time Properties},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {101--110},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049826},
doi = {10.1145/3049797.3049826},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Liu17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MaKAHA17,
author = {Wen{-}Loong Ma and
Shishir Kolathaya and
Eric R. Ambrose and
Christian M. Hubicki and
Aaron D. Ames},
editor = {Goran Frehse and
Sayan Mitra},
title = {Bipedal Robotic Running with {DURUS-2D:} Bridging the Gap between
Theory and Experiment},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {265--274},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049823},
doi = {10.1145/3049797.3049823},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/MaKAHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NguyenKJDBJ17,
author = {Luan Viet Nguyen and
James Kapinski and
Xiaoqing Jin and
Jyotirmoy V. Deshmukh and
Ken Butts and
Taylor T. Johnson},
editor = {Goran Frehse and
Sayan Mitra},
title = {Abnormal Data Classification Using Time-Frequency Temporal Logic},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {237--242},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049809},
doi = {10.1145/3049797.3049809},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NguyenKJDBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NilssonO17,
author = {Petter Nilsson and
Necmiye Ozay},
editor = {Goran Frehse and
Sayan Mitra},
title = {On a Class of Maximal Invariance Inducing Control Strategies for Large
Collections of Switched Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {187--196},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049810},
doi = {10.1145/3049797.3049810},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/NilssonO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OuakninePW17,
author = {Jo{\"{e}}l Ouaknine and
Jo{\~{a}}o Sousa Pinto and
James Worrell},
editor = {Goran Frehse and
Sayan Mitra},
title = {On the Polytope Escape Problem for Continuous Linear Dynamical Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {11--17},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049798},
doi = {10.1145/3049797.3049798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/OuakninePW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PaceB17,
author = {Andrew M. Pace and
Samuel A. Burden},
editor = {Goran Frehse and
Sayan Mitra},
title = {Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems
Subject to Unilateral Constraints},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {243--252},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049807},
doi = {10.1145/3049797.3049807},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/PaceB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarS17,
author = {Pavithra Prabhakar and
Miriam Garcia Soto},
editor = {Goran Frehse and
Sayan Mitra},
title = {Formal Synthesis of Stabilizing Controllers for Switched Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {111--120},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049822},
doi = {10.1145/3049797.3049822},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/PrabhakarS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoohiP017,
author = {Nima Roohi and
Pavithra Prabhakar and
Mahesh Viswanathan},
editor = {Goran Frehse and
Sayan Mitra},
title = {Robust Model Checking of Timed Automata under Clock Drifts},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {153--162},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049821},
doi = {10.1145/3049797.3049821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/RoohiP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoohiW0D017,
author = {Nima Roohi and
Yu Wang and
Matthew West and
Geir E. Dullerud and
Mahesh Viswanathan},
editor = {Goran Frehse and
Sayan Mitra},
title = {Statistical Verification of the Toyota Powertrain Control Verification
Benchmark},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {65--70},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049804},
doi = {10.1145/3049797.3049804},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RoohiW0D017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RunggerZ17,
author = {Matthias Rungger and
Majid Zamani},
editor = {Goran Frehse and
Sayan Mitra},
title = {Invariance Feedback Entropy of Nondeterministic Control Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {91--100},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049801},
doi = {10.1145/3049797.3049801},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/RunggerZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SchurmannA17,
author = {Bastian Sch{\"{u}}rmann and
Matthias Althoff},
editor = {Goran Frehse and
Sayan Mitra},
title = {Convex Interpolation Control with Formal Guarantees for Disturbed
and Constrained Nonlinear Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {121--130},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049800},
doi = {10.1145/3049797.3049800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SchurmannA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ShoukryNSSPT17,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
George J. Pappas and
Paulo Tabuada},
editor = {Goran Frehse and
Sayan Mitra},
title = {{SMC:} Satisfiability Modulo Convex Optimization},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {19--28},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049819},
doi = {10.1145/3049797.3049819},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ShoukryNSSPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SibaiM17,
author = {Hussein Sibai and
Sayan Mitra},
editor = {Goran Frehse and
Sayan Mitra},
title = {Optimal Data Rate for State Estimation of Switched Nonlinear Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {71--80},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049799},
doi = {10.1145/3049797.3049799},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SibaiM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SoudjaniM17,
author = {Sadegh Esmaeil Zadeh Soudjani and
Rupak Majumdar},
editor = {Goran Frehse and
Sayan Mitra},
title = {Controller Synthesis for Reward Collecting Markov Processes in Continuous
Space},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {45--54},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049827},
doi = {10.1145/3049797.3049827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SoudjaniM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Tedrake17,
author = {Russ Tedrake},
editor = {Goran Frehse and
Sayan Mitra},
title = {Convex and Combinatorial Optimization for Dynamic Robots in the Real
World},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {141},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049803},
doi = {10.1145/3049797.3049803},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Tedrake17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VinodHO17,
author = {Abraham P. Vinod and
Baisravan HomChaudhuri and
Meeko M. K. Oishi},
editor = {Goran Frehse and
Sayan Mitra},
title = {Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems
using Fourier Transforms},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {35--44},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049818},
doi = {10.1145/3049797.3049818},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/VinodHO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2017,
editor = {Goran Frehse and
Sayan Mitra},
title = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797},
doi = {10.1145/3049797},
isbn = {978-1-4503-4590-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 14:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
