Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Meeko M. K. Oishi
@article{DBLP:journals/tac/SivaramakrishnanVO24,
author = {Vignesh Sivaramakrishnan and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Convexified Open-Loop Stochastic Optimal Control for Linear Systems
With Log-Concave Disturbances},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {2},
pages = {1249--1256},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3284534},
doi = {10.1109/TAC.2023.3284534},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/SivaramakrishnanVO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ThorpeGO23,
author = {Adam J. Thorpe and
Jake A. Gonzales and
Meeko M. K. Oishi},
title = {Data-Driven Stochastic Optimal Control Using Kernel Gradients},
booktitle = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {2548--2553},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10155897},
doi = {10.23919/ACC55779.2023.10155897},
timestamp = {Tue, 11 Jul 2023 16:44:02 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ThorpeGO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PrioreBO23,
author = {Shawn Priore and
Ali Bidram and
Meeko Oishi},
title = {Chance Constrained Stochastic Optimal Control for Linear Systems with
Time Varying Random Plant Parameters},
booktitle = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {2599--2606},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10156406},
doi = {10.23919/ACC55779.2023.10156406},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/PrioreBO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/PrioreO23,
author = {Shawn Priore and
Meeko Oishi},
title = {Chance Constrained Stochastic Optimal Control for Linear Systems with
a Time Varying Random Control Matrix},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2023,
Bridgetown, Barbados, August 16-18, 2023},
pages = {599--604},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CCTA54093.2023.10252492},
doi = {10.1109/CCTA54093.2023.10252492},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccta/PrioreO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PrioreO23,
author = {Shawn Priore and
Meeko Oishi},
title = {Stochastic Optimal Control For Gaussian Disturbances with Unknown
Mean and Variance Based on Sample Statistics},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {2776--2783},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383818},
doi = {10.1109/CDC49753.2023.10383818},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PrioreO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/IkeWOBJ23,
author = {Chukwuemeka O. Ike and
John T. Wen and
Meeko M. K. Oishi and
Lee K. Brown and
A. Agung Julius},
title = {Efficient Estimation of the Human Circadian Phase via Kalman Filtering},
booktitle = {45th Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2023, Sydney, Australia,
July 24-27, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EMBC40787.2023.10340241},
doi = {10.1109/EMBC40787.2023.10340241},
timestamp = {Thu, 11 Jan 2024 15:01:18 +0100},
biburl = {https://dblp.org/rec/conf/embc/IkeWOBJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/PilipovskySOT23,
author = {Joshua Pilipovsky and
Vignesh Sivaramakrishnan and
Meeko Oishi and
Panagiotis Tsiotras},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {Probabilistic Verification of ReLU Neural Networks via Characteristic
Functions},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {966--979},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/pilipovsky23a.html},
timestamp = {Fri, 16 Jun 2023 14:48:17 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/PilipovskySOT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-03565,
author = {Adam J. Thorpe and
Cyrus Neary and
Franck Djeumou and
Meeko M. K. Oishi and
Ufuk Topcu},
title = {Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge
with Data-Driven Control},
journal = {CoRR},
volume = {abs/2301.03565},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.03565},
doi = {10.48550/ARXIV.2301.03565},
eprinttype = {arXiv},
eprint = {2301.03565},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-03565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01863,
author = {Shawn Priore and
Meeko Oishi},
title = {Chance Constrained Stochastic Optimal Control for Linear Systems with
a Time Varying Random Control Matrix},
journal = {CoRR},
volume = {abs/2302.01863},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01863},
doi = {10.48550/ARXIV.2302.01863},
eprinttype = {arXiv},
eprint = {2302.01863},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12295,
author = {Shawn Priore and
Meeko Oishi},
title = {Chance Constrained Stochastic Optimal Control for Arbitrarily Disturbed
{LTI} Systems Via the One-Sided Vysochanskij-Petunin Inequality},
journal = {CoRR},
volume = {abs/2303.12295},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12295},
doi = {10.48550/ARXIV.2303.12295},
eprinttype = {arXiv},
eprint = {2303.12295},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12295.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13036,
author = {Shawn Priore and
Meeko Oishi},
title = {Stochastic Optimal Control For Gaussian Disturbances with Unknown
Mean and Variance Based on Sample Statistics},
journal = {CoRR},
volume = {abs/2303.13036},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13036},
doi = {10.48550/ARXIV.2303.13036},
eprinttype = {arXiv},
eprint = {2303.13036},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16981,
author = {Shawn Priore and
Meeko Oishi},
title = {Chance Constrained Stochastic Optimal Control Based on Sample Statistics
With Almost Surely Probabilistic Guarantees},
journal = {CoRR},
volume = {abs/2303.16981},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16981},
doi = {10.48550/ARXIV.2303.16981},
eprinttype = {arXiv},
eprint = {2303.16981},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-00598,
author = {Karthik Sivaramakrishnan and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
title = {Stochastic Reachability of Discrete-Time Stochastic Systems via Probability
Measures},
journal = {CoRR},
volume = {abs/2304.00598},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.00598},
doi = {10.48550/ARXIV.2304.00598},
eprinttype = {arXiv},
eprint = {2304.00598},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-00598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ThorpeOO22,
author = {Adam J. Thorpe and
Kendric R. Ortiz and
Meeko M. K. Oishi},
title = {State-based confidence bounds for data-driven stochastic reachability
using Hilbert space embeddings},
journal = {Autom.},
volume = {138},
pages = {110146},
year = {2022},
url = {https://doi.org/10.1016/j.automatica.2021.110146},
doi = {10.1016/J.AUTOMATICA.2021.110146},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/ThorpeOO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FaruqueO22,
author = {Mohammad Abdullah Al Faruque and
Meeko Mitsuko Oishi},
title = {Introduction to the Special Section on Selected Papers from {ICCPS}
2021},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {6},
number = {4},
pages = {29e:1--29e:3},
year = {2022},
url = {https://doi.org/10.1145/3564157},
doi = {10.1145/3564157},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcps/FaruqueO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/VinodTOSO22,
author = {Abraham P. Vinod and
Adam J. Thorpe and
Philip A. Olaniyi and
Tyler H. Summers and
Meeko M. K. Oishi},
title = {Sensor Selection for Dynamics-Driven User-Interface Design},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {30},
number = {1},
pages = {71--84},
year = {2022},
url = {https://doi.org/10.1109/TCST.2021.3056242},
doi = {10.1109/TCST.2021.3056242},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/VinodTOSO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PriorePO22,
author = {Shawn Priore and
Christopher Petersen and
Meeko Oishi},
title = {Approximate Quantiles for Stochastic Optimal Control of {LTI} Systems
with Arbitrary Disturbances},
booktitle = {American Control Conference, {ACC} 2022, Atlanta, GA, USA, June 8-10,
2022},
pages = {1814--1821},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ACC53348.2022.9867580},
doi = {10.23919/ACC53348.2022.9867580},
timestamp = {Mon, 06 Nov 2023 12:57:51 +0100},
biburl = {https://dblp.org/rec/conf/amcc/PriorePO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Sivaramakrishnan22,
author = {Vignesh Sivaramakrishnan and
Joshua Pilipovsky and
Meeko Oishi and
Panagiotis Tsiotras},
title = {Distribution Steering for Discrete-Time Linear Systems with General
Disturbances using Characteristic Functions},
booktitle = {American Control Conference, {ACC} 2022, Atlanta, GA, USA, June 8-10,
2022},
pages = {4183--4190},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ACC53348.2022.9867212},
doi = {10.23919/ACC53348.2022.9867212},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Sivaramakrishnan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ThorpeO22,
author = {Adam J. Thorpe and
Meeko Oishi},
editor = {Ezio Bartocci and
Sylvie Putot},
title = {{SOCKS:} {A} Stochastic Optimal Control and Reachability Toolbox Using
Kernel Methods},
booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
pages = {21:1--21:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710.3519525},
doi = {10.1145/3501710.3519525},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ThorpeO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/ThorpeLOP22,
author = {Adam J. Thorpe and
Thomas Lew and
Meeko Oishi and
Marco Pavone},
editor = {Roya Firoozi and
Negar Mehr and
Esen Yel and
Rika Antonova and
Jeannette Bohg and
Mac Schwager and
Mykel J. Kochenderfer},
title = {Data-Driven Chance Constrained Control using Kernel Distribution Embeddings},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2022, 23-24 June
2022, Stanford University, Stanford, CA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {168},
pages = {790--802},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v168/thorpe22a.html},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/l4dc/ThorpeLOP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04193,
author = {Adam J. Thorpe and
Thomas Lew and
Meeko M. K. Oishi and
Marco Pavone},
title = {Data-Driven Chance Constrained Control using Kernel Distribution Embeddings},
journal = {CoRR},
volume = {abs/2202.04193},
year = {2022},
url = {https://arxiv.org/abs/2202.04193},
eprinttype = {arXiv},
eprint = {2202.04193},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06290,
author = {Adam J. Thorpe and
Meeko M. K. Oishi},
title = {{SOCKS:} {A} Stochastic Optimal Control and Reachability Toolbox Using
Kernel Methods},
journal = {CoRR},
volume = {abs/2203.06290},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06290},
doi = {10.48550/ARXIV.2203.06290},
eprinttype = {arXiv},
eprint = {2203.06290},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01331,
author = {Kendric R. Ortiz and
Adam J. Thorpe and
AnaMaria Perez and
Maya Luster and
Brandon J. Pitts and
Meeko Oishi},
title = {Characterizing Within-Driver Variability in Driving Dynamics During
Obstacle Avoidance Maneuvers},
journal = {CoRR},
volume = {abs/2206.01331},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01331},
doi = {10.48550/ARXIV.2206.01331},
eprinttype = {arXiv},
eprint = {2206.01331},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09205,
author = {Adam J. Thorpe and
Jake A. Gonzales and
Meeko M. K. Oishi},
title = {Data-Driven Stochastic Optimal Control Using Kernel Gradients},
journal = {CoRR},
volume = {abs/2209.09205},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.09205},
doi = {10.48550/ARXIV.2209.09205},
eprinttype = {arXiv},
eprint = {2209.09205},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-09205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09468,
author = {Shawn Priore and
Ali Bidram and
Meeko Oishi},
title = {Optimal Control Strategy for Linear Systems with Time Varying Random
Plant Parameters},
journal = {CoRR},
volume = {abs/2210.09468},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09468},
doi = {10.48550/ARXIV.2210.09468},
eprinttype = {arXiv},
eprint = {2210.09468},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09479,
author = {Shawn Priore and
Christopher Petersen and
Meeko Oishi},
title = {Approximate Stochastic Optimal Control for Linear Time Invariant Systems
with Heavy-tailed Disturbances},
journal = {CoRR},
volume = {abs/2210.09479},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09479},
doi = {10.48550/ARXIV.2210.09479},
eprinttype = {arXiv},
eprint = {2210.09479},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01544,
author = {Joshua Pilipovsky and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi and
Panagiotis Tsiotras},
title = {Probabilistic Verification of ReLU Neural Networks via Characteristic
Functions},
journal = {CoRR},
volume = {abs/2212.01544},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01544},
doi = {10.48550/ARXIV.2212.01544},
eprinttype = {arXiv},
eprint = {2212.01544},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/VinodO21,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Stochastic reachability of a target tube: Theory and computation},
journal = {Autom.},
volume = {125},
pages = {109458},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2020.109458},
doi = {10.1016/J.AUTOMATICA.2020.109458},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/VinodO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/GleasonVO21,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Lagrangian approximations for stochastic reachability of a target
tube},
journal = {Autom.},
volume = {128},
pages = {109546},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2021.109546},
doi = {10.1016/J.AUTOMATICA.2021.109546},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/GleasonVO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/VinodO21,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Probabilistic Occupancy via Forward Stochastic Reachability for Markov
Jump Affine Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {7},
pages = {3068--3083},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.3014127},
doi = {10.1109/TAC.2020.3014127},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/VinodO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ThorpeSO21,
author = {Adam J. Thorpe and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
title = {Approximate Stochastic Reachability for High Dimensional Systems},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {1287--1293},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483404},
doi = {10.23919/ACC50511.2021.9483404},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ThorpeSO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PrioreVSPO21,
author = {Shawn Priore and
Abraham P. Vinod and
Vignesh Sivaramakrishnan and
Christopher Petersen and
Meeko Oishi},
title = {Stochastic multi-satellite maneuvering with constraints in an elliptical
orbit},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {4261--4268},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483158},
doi = {10.23919/ACC50511.2021.9483158},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/PrioreVSPO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ThorpeO21,
author = {Adam J. Thorpe and
Meeko M. K. Oishi},
title = {Stochastic Optimal Control via Hilbert Space Embeddings of Distributions},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {904--911},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9682801},
doi = {10.1109/CDC45484.2021.9682801},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ThorpeO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ThorpeOO21,
author = {Adam J. Thorpe and
Kendric R. Ortiz and
Meeko M. K. Oishi},
title = {SReachTools Kernel Module: Data-Driven Stochastic Reachability Using
Hilbert Space Embeddings of Distributions},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {5073--5079},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683169},
doi = {10.1109/CDC45484.2021.9683169},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ThorpeOO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/ThorpeOO21,
author = {Adam J. Thorpe and
Kendric R. Ortiz and
Meeko M. K. Oishi},
editor = {Ali Jadbabaie and
John Lygeros and
George J. Pappas and
Pablo A. Parrilo and
Benjamin Recht and
Claire J. Tomlin and
Melanie N. Zeilinger},
title = {Learning Approximate Forward Reachable Sets Using Separating Kernels},
booktitle = {Proceedings of the 3rd Annual Conference on Learning for Dynamics
and Control, {L4DC} 2021, 7-8 June 2021, Virtual Event, Switzerland},
series = {Proceedings of Machine Learning Research},
volume = {144},
pages = {201--212},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v144/thorpe21a.html},
timestamp = {Mon, 14 Jun 2021 08:02:30 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/ThorpeOO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2021,
editor = {Martina Maggio and
James Weimer and
Mohammad Al Farque and
Meeko Oishi},
title = {{ICCPS} '21: {ACM/IEEE} 12th International Conference on Cyber-Physical
Systems, Nashville, Tennessee, USA, May 19-21, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://dl.acm.org/doi/10.1145/3450267},
doi = {10.1145/3450267},
isbn = {978-1-4503-8353-0},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-12759,
author = {Adam J. Thorpe and
Meeko M. K. Oishi},
title = {Stochastic Optimal Control via Hilbert Space Embeddings of Distributions},
journal = {CoRR},
volume = {abs/2103.12759},
year = {2021},
url = {https://arxiv.org/abs/2103.12759},
eprinttype = {arXiv},
eprint = {2103.12759},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-12759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03040,
author = {Shawn Priore and
Christopher Petersen and
Meeko Oishi},
title = {Approximate Quantiles for Stochastic Optimal Control of {LTI} Systems
with Arbitrary Disturbances},
journal = {CoRR},
volume = {abs/2110.03040},
year = {2021},
url = {https://arxiv.org/abs/2110.03040},
eprinttype = {arXiv},
eprint = {2110.03040},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-03040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/ThorpeO20,
author = {Adam J. Thorpe and
Meeko M. K. Oishi},
title = {Model-Free Stochastic Reachability Using Kernel Distribution Embeddings},
journal = {{IEEE} Control. Syst. Lett.},
volume = {4},
number = {2},
pages = {512--517},
year = {2020},
url = {https://doi.org/10.1109/LCSYS.2019.2954102},
doi = {10.1109/LCSYS.2019.2954102},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/ThorpeO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/Sivaramakrishnan20,
author = {Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
title = {Fast, Convexified Stochastic Optimal Open-Loop Control for Linear
Systems Using Empirical Characteristic Functions},
journal = {{IEEE} Control. Syst. Lett.},
volume = {4},
number = {4},
pages = {1048--1053},
year = {2020},
url = {https://doi.org/10.1109/LCSYS.2020.2998857},
doi = {10.1109/LCSYS.2020.2998857},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/Sivaramakrishnan20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/PatriziFOOT20,
author = {Nathan Patrizi and
Georgios Fragkos and
Kendric R. Ortiz and
Meeko Oishi and
Eirini{-}Eleni Tsiropoulou},
title = {A UAV-enabled Dynamic Multi-Target Tracking and Sensing Framework},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2020, Virtual
Event, Taiwan, December 7-11, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/GLOBECOM42002.2020.9322567},
doi = {10.1109/GLOBECOM42002.2020.9322567},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/PatriziFOOT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00090,
author = {Somali Chaterji and
Parinaz Naghizadeh and
Muhammad Ashraful Alam and
Saurabh Bagchi and
Mung Chiang and
David Corman and
Brian J. Henz and
Suman Jana and
Na Li and
Shaoshuai Mou and
Meeko Oishi and
Chunyi Peng and
Tiark Rompf and
Ashutosh Sabharwal and
Shreyas Sundaram and
James Weimer and
Jennifer Weller},
title = {Resilient Cyberphysical Systems and their Application Drivers: {A}
Technology Roadmap},
journal = {CoRR},
volume = {abs/2001.00090},
year = {2020},
url = {http://arxiv.org/abs/2001.00090},
eprinttype = {arXiv},
eprint = {2001.00090},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07176,
author = {Abraham P. Vinod and
Adam J. Thorpe and
Philip A. Olaniyi and
Tyler H. Summers and
Meeko M. K. Oishi},
title = {Trust-based user-interface design for human-automation systems},
journal = {CoRR},
volume = {abs/2004.07176},
year = {2020},
url = {https://arxiv.org/abs/2004.07176},
eprinttype = {arXiv},
eprint = {2004.07176},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02101,
author = {Vignesh Sivaramakrishnan and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian
Systems},
journal = {CoRR},
volume = {abs/2010.02101},
year = {2020},
url = {https://arxiv.org/abs/2010.02101},
eprinttype = {arXiv},
eprint = {2010.02101},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08036,
author = {Adam J. Thorpe and
Kendric R. Ortiz and
Meeko M. K. Oishi},
title = {Data-Driven Stochastic Reachability Using Hilbert Space Embeddings},
journal = {CoRR},
volume = {abs/2010.08036},
year = {2020},
url = {https://arxiv.org/abs/2010.08036},
eprinttype = {arXiv},
eprint = {2010.08036},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-08036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10610,
author = {Adam J. Thorpe and
Kendric R. Ortiz and
Meeko M. K. Oishi},
title = {SReachTools Kernel Module: Data-Driven Stochastic Reachability Using
Hilbert Space Embeddings of Distributions},
journal = {CoRR},
volume = {abs/2011.10610},
year = {2020},
url = {https://arxiv.org/abs/2011.10610},
eprinttype = {arXiv},
eprint = {2011.10610},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/GleasonOWJPY19,
author = {Joseph D. Gleason and
Meeko M. K. Oishi and
John T. Wen and
Agung Julius and
Suguna Pappu and
Howard Yonas},
title = {Assessing circadian rhythms and entrainment via intracranial temperature
after severe head trauma},
journal = {Biomed. Signal Process. Control.},
volume = {54},
year = {2019},
url = {https://doi.org/10.1016/j.bspc.2019.101610},
doi = {10.1016/J.BSPC.2019.101610},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bspc/GleasonOWJPY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/SartipizadehVAO19,
author = {Hossein Sartipizadeh and
Abraham P. Vinod and
Beh{\c{c}}et A{\c{c}}ikmese and
Meeko Oishi},
title = {Voronoi Partition-based Scenario Reduction for Fast Sampling-based
Stochastic Reachability Computation of Linear Systems},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {37--44},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814354},
doi = {10.23919/ACC.2019.8814354},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/SartipizadehVAO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VinodSO19,
author = {Abraham P. Vinod and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
title = {Piecewise-Affine Approximation-Based Stochastic Optimal Control with
Gaussian Joint Chance Constraints},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {2942--2949},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814977},
doi = {10.23919/ACC.2019.8814977},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/VinodSO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Sivaramakrishnan19,
author = {Vignesh Sivaramakrishnan and
Omanshu Thapliyal and
Abraham P. Vinod and
Meeko Oishi and
Inseok Hwang},
title = {Predicting Mode Confusion Through Mixed Integer Linear Programming},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {2442--2448},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029901},
doi = {10.1109/CDC40024.2019.9029901},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Sivaramakrishnan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KhaledyanVOR19,
author = {Milad Khaledyan and
Abraham P. Vinod and
Meeko Oishi and
John A. Richards},
title = {Optimal Coverage Control and Stochastic Multi-Target Tracking},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {2467--2472},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029307},
doi = {10.1109/CDC40024.2019.9029307},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/KhaledyanVOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GleasonVO19,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {The Maximal Hitting-Time Stochastic Reachability Problem},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {7266--7272},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030186},
doi = {10.1109/CDC40024.2019.9030186},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GleasonVO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VinodO19,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Affine controller synthesis for stochastic reachability via difference
of convex programming},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {7273--7280},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030080},
doi = {10.1109/CDC40024.2019.9030080},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/VinodO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbateBCDFHHMOPR19,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Kurt Degiorgio and
Martin Fr{\"{a}}nzle and
Ernst Moritz Hahn and
Sofie Haesaert and
Hao Ma and
Meeko Oishi and
Carina Pilch and
Anne Remke and
Mahmoud Salamati and
Sadegh Soudjani and
Birgit van Huijgevoort and
Abraham P. Vinod},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Stochastic Modelling},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {62--102},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/f2vb},
doi = {10.29007/F2VB},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VinodGO19,
author = {Abraham P. Vinod and
Joseph D. Gleason and
Meeko M. K. Oishi},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {SReachTools: a {MATLAB} stochastic reachability toolbox},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {33--38},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311809},
doi = {10.1145/3302504.3311809},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/VinodGO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VinodGO19a,
author = {Abraham P. Vinod and
Joseph D. Gleason and
Meeko M. K. Oishi},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {SReachTools: {A} {MATLAB} stochastic reachability toolbox: demo abstract},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {264--265},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3313352},
doi = {10.1145/3302504.3313352},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/VinodGO19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/VinodSO19,
author = {Abraham P. Vinod and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Sampling-free enforcement of non-gaussian chance constraints via fourier
transforms},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {9--11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313367},
doi = {10.1145/3313149.3313367},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snr/VinodSO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-00697,
author = {Adam J. Thorpe and
Meeko M. K. Oishi},
title = {Model-Free Stochastic Reachability Using Kernel Distribution Embeddings},
journal = {CoRR},
volume = {abs/1908.00697},
year = {2019},
url = {http://arxiv.org/abs/1908.00697},
eprinttype = {arXiv},
eprint = {1908.00697},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-00697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10818,
author = {Adam J. Thorpe and
Vignesh Sivaramakrishnan and
Meeko M. K. Oishi},
title = {Stochastic Reachability for Systems up to a Million Dimensions},
journal = {CoRR},
volume = {abs/1910.10818},
year = {2019},
url = {http://arxiv.org/abs/1910.10818},
eprinttype = {arXiv},
eprint = {1910.10818},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AbateBCHHLOSSVV18,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Sofie Haesaert and
Arnd Hartmanns and
Kendra Lesser and
Meeko Oishi and
Vignesh Sivaramakrishnan and
Sadegh Soudjani and
Cristian Ioan Vasile and
Abraham P. Vinod},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Stochastic Modelling},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {71--103},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/7ks7},
doi = {10.29007/7KS7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AbateBCHHLOSSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VinodHHPBOBAF18,
author = {Abraham P. Vinod and
Baisravan HomChaudhuri and
Christoph Hintz and
Anup Parikh and
Stephen P. Buerger and
Meeko M. K. Oishi and
Greg Brunson and
Shakeeb Ahmad and
Rafael Fierro},
title = {Multiple Pursuer-Based Intercept via Forward Stochastic Reachability},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {1559--1566},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431308},
doi = {10.23919/ACC.2018.8431308},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/VinodHHPBOBAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VinodRMOA18,
author = {Abraham P. Vinod and
Sean Rice and
Yuanqi Mao and
Meeko M. K. Oishi and
Beh{\c{c}}et A{\c{c}}ikmese},
title = {Stochastic Motion Planning Using Successive Convexification and Probabilistic
Occupancy Functions},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {4425--4432},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8618921},
doi = {10.1109/CDC.2018.8618921},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/VinodRMOA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VinodO18,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Scalable Underapproximative Verification of Stochastic {LTI} Systems
using Convexity and Compactness},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {1--10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178148},
doi = {10.1145/3178126.3178148},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/VinodO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-07180,
author = {Abraham P. Vinod and
Baisravan HomChaudhuri and
Meeko M. K. Oishi},
title = {Probabilistic Occupancy Function and Sets Using Forward Stochastic
Reachability for Rigid-Body Dynamic Obstacles},
journal = {CoRR},
volume = {abs/1803.07180},
year = {2018},
url = {http://arxiv.org/abs/1803.07180},
eprinttype = {arXiv},
eprint = {1803.07180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-07180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05217,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Stochastic reachability of a target tube: Theory and computation},
journal = {CoRR},
volume = {abs/1810.05217},
year = {2018},
url = {http://arxiv.org/abs/1810.05217},
eprinttype = {arXiv},
eprint = {1810.05217},
timestamp = {Thu, 01 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07118,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Lagrangian Approximations for Stochastic Reachability of a Target
Tube},
journal = {CoRR},
volume = {abs/1810.07118},
year = {2018},
url = {http://arxiv.org/abs/1810.07118},
eprinttype = {arXiv},
eprint = {1810.07118},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-07118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03643,
author = {Hossein Sartipizadeh and
Abraham P. Vinod and
Beh{\c{c}}et A{\c{c}}ikmese and
Meeko Oishi},
title = {Voronoi Partition-based Scenario Reduction for Fast Sampling-based
Stochastic Reachability Computation of {LTI} Systems},
journal = {CoRR},
volume = {abs/1811.03643},
year = {2018},
url = {http://arxiv.org/abs/1811.03643},
eprinttype = {arXiv},
eprint = {1811.03643},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/VinodO17,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Scalable Underapproximation for the Stochastic Reach-Avoid Problem
for High-Dimensional {LTI} Systems Using Fourier Transforms},
journal = {{IEEE} Control. Syst. Lett.},
volume = {1},
number = {2},
pages = {316--321},
year = {2017},
url = {https://doi.org/10.1109/LCSYS.2017.2716364},
doi = {10.1109/LCSYS.2017.2716364},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/VinodO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LesserO17,
author = {Kendra Lesser and
Meeko Oishi},
title = {Approximate Safety Verification and Control of Partially Observable
Stochastic Hybrid Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {1},
pages = {81--96},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2535128},
doi = {10.1109/TAC.2016.2535128},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LesserO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/MaloneCLOT17,
author = {Nick Malone and
Hao{-}Tien Chiang and
Kendra Lesser and
Meeko Oishi and
Lydia Tapia},
title = {Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable
Set-Based Potential Field},
journal = {{IEEE} Trans. Robotics},
volume = {33},
number = {5},
pages = {1124--1138},
year = {2017},
url = {https://doi.org/10.1109/TRO.2017.2705034},
doi = {10.1109/TRO.2017.2705034},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trob/MaloneCLOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HomChaudhuriVO17,
author = {Baisravan HomChaudhuri and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Computation of forward stochastic reach sets: Application to stochastic,
dynamic obstacle avoidance},
booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {4404--4411},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963633},
doi = {10.23919/ACC.2017.7963633},
timestamp = {Fri, 03 Dec 2021 13:04:31 +0100},
biburl = {https://dblp.org/rec/conf/amcc/HomChaudhuriVO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GleasonVO17,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Underapproximation of reach-avoid sets for discrete-time stochastic
systems via Lagrangian methods},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {4283--4290},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264291},
doi = {10.1109/CDC.2017.8264291},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/GleasonVO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/GleasonOSTBBK17,
author = {Joseph D. Gleason and
Meeko Oishi and
Michelle Simkulet and
Arunas Tuzikas and
Lee K. Brown and
S. R. J. Brueck and
Robert F. Karlicek},
title = {A novel smart lighting clinical testbed},
booktitle = {2017 39th Annual International Conference of the {IEEE} Engineering
in Medicine and Biology Society (EMBC), Jeju Island, South Korea,
July 11-15, 2017},
pages = {4317--4320},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/EMBC.2017.8037811},
doi = {10.1109/EMBC.2017.8037811},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/GleasonOSTBBK17.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}
}
@inproceedings{DBLP:conf/icra/ChiangHVOT17,
author = {Hao{-}Tien Lewis Chiang and
Baisravan HomChaudhuri and
Abraham P. Vinod and
Meeko Oishi and
Lydia Tapia},
title = {Dynamic risk tolerance: Motion planning by balancing short-term and
long-term stochastic dynamic predictions},
booktitle = {2017 {IEEE} International Conference on Robotics and Automation, {ICRA}
2017, Singapore, Singapore, May 29 - June 3, 2017},
pages = {3762--3769},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICRA.2017.7989434},
doi = {10.1109/ICRA.2017.7989434},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/ChiangHVOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mig/AdamsonOCT17,
author = {Torin Adamson and
Meeko Oishi and
Hao{-}Tien Lewis Chiang and
Lydia Tapia},
editor = {Nuria Pelechano and
Stephen N. Spencer and
Carol O'Sullivan and
Julien Pettr{\'{e}}},
title = {Busy beeway: a game for testing human-automation collaboration for
navigation},
booktitle = {Proceedings of the Tenth International Conference on Motion in Games,
{MIG} 2017, Barcelona, Spain, November 08 - 10, 2017},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136457.3136471},
doi = {10.1145/3136457.3136471},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mig/AdamsonOCT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VinodO17,
author = {Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Scalable Underapproximation for Stochastic Reach-Avoid Problem for
High-Dimensional {LTI} Systems using Fourier Transforms},
journal = {CoRR},
volume = {abs/1703.02135},
year = {2017},
url = {http://arxiv.org/abs/1703.02135},
eprinttype = {arXiv},
eprint = {1703.02135},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VinodO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GleasonVO17,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic
Systems via Lagrangian Methods},
journal = {CoRR},
volume = {abs/1704.03555},
year = {2017},
url = {http://arxiv.org/abs/1704.03555},
eprinttype = {arXiv},
eprint = {1704.03555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GleasonVO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/OishiTT16,
author = {Meeko M. K. Oishi and
Dawn M. Tilbury and
Claire J. Tomlin},
title = {Guest Editorial Special Section on Human-Centered Automation},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {13},
number = {1},
pages = {4--6},
year = {2016},
url = {https://doi.org/10.1109/TASE.2015.2503538},
doi = {10.1109/TASE.2015.2503538},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/OishiTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HammondEO16,
author = {Tasha M. Hammond and
Neda Eskandari and
Meeko M. K. Oishi},
title = {Observability of User-Interfaces for Hybrid {LTI} Systems Under Collaborative
Control: Application to Aircraft Flight Management Systems},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {13},
number = {1},
pages = {78--84},
year = {2016},
url = {https://doi.org/10.1109/TASE.2015.2498704},
doi = {10.1109/TASE.2015.2498704},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/HammondEO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VinodSO16,
author = {Abraham P. Vinod and
Tyler H. Summers and
Meeko M. K. Oishi},
title = {User-interface design for {MIMO} {LTI} human-automation systems through
sensor placement},
booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {5276--5283},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7526496},
doi = {10.1109/ACC.2016.7526496},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/VinodSO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HomChaudhuriOSB16,
author = {Baisravan HomChaudhuri and
Meeko Oishi and
Matt Shubert and
Morgan Baldwin and
Richard Scott Erwin},
title = {Computing reach-avoid sets for space vehicle docking under continuous
thrust},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {3312--3318},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798767},
doi = {10.1109/CDC.2016.7798767},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HomChaudhuriOSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GleasonVOE16,
author = {Joseph D. Gleason and
Abraham P. Vinod and
Meeko M. K. Oishi and
Richard Scott Erwin},
title = {Viable set approximation for linear-Gaussian systems with unknown,
bounded variance},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {7049--7055},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7799355},
doi = {10.1109/CDC.2016.7799355},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GleasonVOE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/VinodTOSL016,
author = {Abraham P. Vinod and
Yuqing Tang and
Meeko M. K. Oishi and
Katia P. Sycara and
Christian Lebiere and
Michael Lewis},
title = {Validation of cognitive models for collaborative hybrid systems with
discrete human input},
booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016},
pages = {3339--3346},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IROS.2016.7759514},
doi = {10.1109/IROS.2016.7759514},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/VinodTOSL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HomChaudhuriVO16,
author = {Baisravan HomChaudhuri and
Abraham P. Vinod and
Meeko M. K. Oishi},
title = {Computation of forward stochastic reach sets: Application to stochastic,
dynamic obstacle avoidance},
journal = {CoRR},
volume = {abs/1610.03472},
year = {2016},
url = {http://arxiv.org/abs/1610.03472},
eprinttype = {arXiv},
eprint = {1610.03472},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HomChaudhuriVO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VinodHO16,
author = {Abraham P. Vinod and
Baisravan Homchaudhuri and
Meeko M. K. Oishi},
title = {Forward stochastic reachability analysis for uncontrolled linear systems
using Fourier Transforms},
journal = {CoRR},
volume = {abs/1610.04550},
year = {2016},
url = {http://arxiv.org/abs/1610.04550},
eprinttype = {arXiv},
eprint = {1610.04550},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VinodHO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/KaynamaMOD15,
author = {Shahab Kaynama and
Ian M. Mitchell and
Meeko M. K. Oishi and
Guy Albert Dumont},
title = {Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time
Linear Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {60},
number = {11},
pages = {3065--3070},
year = {2015},
url = {https://doi.org/10.1109/TAC.2015.2411872},
doi = {10.1109/TAC.2015.2411872},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/KaynamaMOD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GonzalezSKMO15,
author = {Carlos Gonzalez and
Daniel Svenkeson and
Diana Kim and
Martin J. McKeown and
Meeko Oishi},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {Detection of manual tracking submovements in Parkinson's disease through
hybrid optimization},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {291--297},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.190},
doi = {10.1016/J.IFACOL.2015.11.190},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/GonzalezSKMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LesserO15,
author = {Kendra Lesser and
Meeko M. K. Oishi},
title = {Computing probabilistic viable sets for partially observable systems
using truncated gaussians and adaptive gridding},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1505--1512},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170946},
doi = {10.1109/ACC.2015.7170946},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/LesserO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/CruzOF15,
author = {Patricio Cruz and
Meeko Oishi and
Rafael Fierro},
title = {Lift of a cable-suspended load by a quadrotor: {A} hybrid system approach},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1887--1892},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171008},
doi = {10.1109/ACC.2015.7171008},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/CruzOF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LesserO15,
author = {Kendra Lesser and
Meeko Oishi},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Finite state approximation for verification of partially observable
stochastic hybrid systems},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {159--168},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728632},
doi = {10.1145/2728606.2728632},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LesserO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChiangMLOT15,
author = {Hao{-}Tien Chiang and
Nick Malone and
Kendra Lesser and
Meeko Oishi and
Lydia Tapia},
title = {Path-guided artificial potential fields with stochastic reachable
sets for motion planning in highly dynamic environments},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2015, Seattle, WA, USA, 26-30 May, 2015},
pages = {2347--2354},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICRA.2015.7139511},
doi = {10.1109/ICRA.2015.7139511},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/ChiangMLOT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/LesserO14,
author = {Kendra Lesser and
Meeko Oishi},
title = {Reachability for partially observable discrete time stochastic hybrid
systems},
journal = {Autom.},
volume = {50},
number = {8},
pages = {1989--1998},
year = {2014},
url = {https://doi.org/10.1016/j.automatica.2014.05.012},
doi = {10.1016/J.AUTOMATICA.2014.05.012},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/LesserO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/SvenkesonSOPY14,
author = {Daniel Svenkeson and
Bobby Sena and
Meeko Oishi and
Suguna Pappu and
Howard Yonas},
title = {A Novel Use of Transfer Function Estimation for Early Assessment of
Brain Injury Outcome},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {61},
number = {9},
pages = {2413--2421},
year = {2014},
url = {https://doi.org/10.1109/TBME.2014.2317942},
doi = {10.1109/TBME.2014.2317942},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/SvenkesonSOPY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Tabibian0LCSBO14,
author = {Seyed Behzad Tabibian and
Michael Lewis and
Christian Lebiere and
Nilanjan Chakraborty and
Katia P. Sycara and
Stefano Bennati and
Meeko Oishi},
title = {Towards a Cognitively-Based Analytic Model of Human Control of Swarms},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7764},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/Tabibian0LCSBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Oishi14,
author = {Meeko M. K. Oishi},
title = {Assessing information availability for user-interfaces of shared control
systems under reference tracking},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {3474--3481},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859349},
doi = {10.1109/ACC.2014.6859349},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Oishi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/MeyerJDZO14,
author = {Richard T. Meyer and
Fabian Just and
Raymond A. DeCarlo and
Milos Zefran and
Meeko Oishi},
title = {Notch filter and {MPC} for powered wheelchair operation under Parkinson's
tremor},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {4114--4120},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859442},
doi = {10.1109/ACC.2014.6859442},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/MeyerJDZO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/BiswasLDO14,
author = {Trisha Biswas and
Kendra Lesser and
Rudra Dutta and
Meeko M. K. Oishi},
title = {Using linear system reliability to obtain theoretical understanding
of wireless routing},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2014, Austin,
TX, USA, December 8-12, 2014},
pages = {1310--1316},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/GLOCOM.2014.7036989},
doi = {10.1109/GLOCOM.2014.7036989},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/BiswasLDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/BiswasLDO14,
author = {Trisha Biswas and
Kendra Lesser and
Rudra Dutta and
Meeko M. K. Oishi},
editor = {Laurie A. Williams and
David M. Nicol and
Munindar P. Singh},
title = {Examining reliability of wireless multihop network routing with linear
systems},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security,
HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
pages = {19},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600176.2600195},
doi = {10.1145/2600176.2600195},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/BiswasLDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MaloneLOT14,
author = {Nick Malone and
Kendra Lesser and
Meeko M. K. Oishi and
Lydia Tapia},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Stochastic reachability based motion planning for multiple moving
obstacle avoidance},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {51--60},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562127},
doi = {10.1145/2562059.2562127},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/MaloneLOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wafr/ChiangMLOT14,
author = {Hao{-}Tien Chiang and
Nick Malone and
Kendra Lesser and
Meeko M. K. Oishi and
Lydia Tapia},
editor = {H. Levent Akin and
Nancy M. Amato and
Volkan Isler and
A. Frank van der Stappen},
title = {Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable
Set Based Potential Field},
booktitle = {Algorithmic Foundations of Robotics {XI} - Selected Contributions
of the Eleventh International Workshop on the Algorithmic Foundations
of Robotics, {WAFR} 2014, 3-5 August 2014, Bo{\u{g}}azi{\c{c}}i University,
{\.{I}}stanbul, Turkey},
series = {Springer Tracts in Advanced Robotics},
volume = {107},
pages = {73--89},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-16595-0\_5},
doi = {10.1007/978-3-319-16595-0\_5},
timestamp = {Sun, 25 Oct 2020 23:03:12 +0100},
biburl = {https://dblp.org/rec/conf/wafr/ChiangMLOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LesserO14,
author = {Kendra Lesser and
Meeko M. K. Oishi},
title = {Approximate Verification of Partially Observable Discrete Time Stochastic
Hybrid Systems},
journal = {CoRR},
volume = {abs/1410.8054},
year = {2014},
url = {http://arxiv.org/abs/1410.8054},
eprinttype = {arXiv},
eprint = {1410.8054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LesserO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/MaidensKMOD13,
author = {John N. Maidens and
Shahab Kaynama and
Ian M. Mitchell and
Meeko M. K. Oishi and
Guy Albert Dumont},
title = {Lagrangian methods for approximating the viability kernel in high-dimensional
systems},
journal = {Autom.},
volume = {49},
number = {7},
pages = {2017--2029},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.03.020},
doi = {10.1016/J.AUTOMATICA.2013.03.020},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/MaidensKMOD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/KaynamaO13,
author = {Shahab Kaynama and
Meeko Oishi},
title = {A Modified Riccati Transformation for Decentralized Computation of
the Viability Kernel Under {LTI} Dynamics},
journal = {{IEEE} Trans. Autom. Control.},
volume = {58},
number = {11},
pages = {2878--2892},
year = {2013},
url = {https://doi.org/10.1109/TAC.2013.2272152},
doi = {10.1109/TAC.2013.2272152},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/KaynamaO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LesserOE13,
author = {Kendra Lesser and
Meeko M. K. Oishi and
Richard Scott Erwin},
title = {Stochastic reachability for control of spacecraft relative motion},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {4705--4712},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760626},
doi = {10.1109/CDC.2013.6760626},
timestamp = {Fri, 04 Mar 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/LesserOE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-5990,
author = {Shahab Kaynama and
Meeko Oishi},
title = {A Modified Riccati Transformation for Decentralized Computation of
the Viability Kernel Under {LTI} Dynamics},
journal = {CoRR},
volume = {abs/1302.5990},
year = {2013},
url = {http://arxiv.org/abs/1302.5990},
eprinttype = {arXiv},
eprint = {1302.5990},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaynamaMOD13,
author = {Shahab Kaynama and
Ian M. Mitchell and
Meeko Oishi and
Guy Albert Dumont},
title = {Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time
Linear Systems},
journal = {CoRR},
volume = {abs/1312.3399},
year = {2013},
url = {http://arxiv.org/abs/1312.3399},
eprinttype = {arXiv},
eprint = {1312.3399},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KaynamaMOD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MitchellCO12,
author = {Ian M. Mitchell and
Mo Chen and
Meeko Oishi},
editor = {Maurice Heemels and
Bart De Schutter},
title = {Ensuring Safety of Nonlinear Sampled Data Systems through Reachability\({}^{\mbox{1}}\)},
booktitle = {4th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2012, Eindhoven, The Netherlands, June 6-8, 2012},
series = {{IFAC} Proceedings Volumes},
volume = {45},
number = {9},
pages = {108--114},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.3182/20120606-3-NL-3011.00104},
doi = {10.3182/20120606-3-NL-3011.00104},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/MitchellCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/KaynamaOMD12,
author = {Shahab Kaynama and
Meeko M. K. Oishi and
Ian M. Mitchell and
Guy Albert Dumont},
title = {Fixed-complexity piecewise ellipsoidal representation of the continual
reachability set based on ellipsoidal techniques},
booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
27-29, 2012},
pages = {2425--2430},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ACC.2012.6315189},
doi = {10.1109/ACC.2012.6315189},
timestamp = {Sun, 08 Aug 2021 01:40:54 +0200},
biburl = {https://dblp.org/rec/conf/amcc/KaynamaOMD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KaynamaMOMD12,
author = {Shahab Kaynama and
John N. Maidens and
Meeko Oishi and
Ian M. Mitchell and
Guy Albert Dumont},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Computing the viability kernel using maximal reachable sets},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {55--64},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185644},
doi = {10.1145/2185632.2185644},
timestamp = {Tue, 03 Aug 2021 16:22:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KaynamaMOMD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcon/KaynamaO11,
author = {Shahab Kaynama and
Meeko Oishi},
title = {Complexity reduction through a Schur-based decomposition for reachability
analysis of linear time-invariant systems},
journal = {Int. J. Control},
volume = {84},
number = {1},
pages = {165--179},
year = {2011},
url = {https://doi.org/10.1080/00207179.2010.543703},
doi = {10.1080/00207179.2010.543703},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcon/KaynamaO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/MatniO11,
author = {Nikolai Matni and
Meeko Oishi},
title = {Stability of switched block upper-triangular linear systems with switching
delay: Application to large distributed systems},
booktitle = {American Control Conference, {ACC} 2011, San Francisco, CA, USA, June
29 - July 1, 2011},
pages = {1440--1445},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ACC.2011.5991493},
doi = {10.1109/ACC.2011.5991493},
timestamp = {Wed, 08 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/MatniO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KaynamaOMD11,
author = {Shahab Kaynama and
Meeko Oishi and
Ian M. Mitchell and
Guy Albert Dumont},
title = {The continual reachability set and its computation using maximal reachability
techniques},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {6110--6115},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161424},
doi = {10.1109/CDC.2011.6161424},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/KaynamaOMD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/EskandariO11,
author = {Neda Eskandari and
Meeko M. K. Oishi},
title = {Computing observable and predictable subspaces to evaluate user-interfaces
of {LTI} systems under shared control},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {2803--2808},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6084097},
doi = {10.1109/ICSMC.2011.6084097},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/EskandariO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/KaynamaO10,
author = {Shahab Kaynama and
Meeko Oishi},
title = {Overapproximating the reachable sets of {LTI} systems through a similarity
transformation},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {1874--1879},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5531392},
doi = {10.1109/ACC.2010.5531392},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/KaynamaO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/OishiAM10,
author = {Meeko M. K. Oishi and
Ahmad Ashoori and
Martin J. McKeown},
title = {Mode Detection in switched pursuit tracking tasks: Hybrid estimation
to measure performance in Parkinson's disease},
booktitle = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
{CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
pages = {2124--2130},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CDC.2010.5717202},
doi = {10.1109/CDC.2010.5717202},
timestamp = {Fri, 04 Mar 2022 13:28:01 +0100},
biburl = {https://dblp.org/rec/conf/cdc/OishiAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KaynamaO09,
author = {Shahab Kaynama and
Meeko Oishi},
title = {Schur-based decomposition for reachability analysis of linear time-invariant
systems},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {69--74},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400336},
doi = {10.1109/CDC.2009.5400336},
timestamp = {Fri, 04 Mar 2022 13:27:41 +0100},
biburl = {https://dblp.org/rec/conf/cdc/KaynamaO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MatniO09,
author = {Nikolai Matni and
Meeko Oishi},
title = {Reachability analysis for continuous systems under shared control:
Application to user-interface design},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {5929--5934},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400465},
doi = {10.1109/CDC.2009.5400465},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MatniO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/OishiMBT08,
author = {Meeko Oishi and
Ian M. Mitchell and
Alexandre M. Bayen and
Claire J. Tomlin},
title = {Invariance-Preserving Abstractions of Hybrid Systems: Application
to User Interface Design},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {16},
number = {2},
pages = {229--244},
year = {2008},
url = {https://doi.org/10.1109/TCST.2007.903370},
doi = {10.1109/TCST.2007.903370},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/OishiMBT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/OishiM08,
author = {Meeko Oishi and
Nikolai Matni},
title = {Towards Provably Safe Control for Smart Wheelchairs},
booktitle = {{AI} in Eldercare: New Solutions to Old Problems, Papers from the
2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9,
2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-02}},
pages = {67--69},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-02-011.php},
timestamp = {Wed, 04 Sep 2013 21:28:12 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/OishiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/MatniO08,
author = {Nikolai Matni and
Meeko Oishi},
title = {Reachability-based abstraction for an aircraft landing under shared
control},
booktitle = {American Control Conference, {ACC} 2008, Seattle, WA, USA, 11-13 June
2008},
pages = {2278--2284},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACC.2008.4586831},
doi = {10.1109/ACC.2008.4586831},
timestamp = {Fri, 03 Dec 2021 13:02:23 +0100},
biburl = {https://dblp.org/rec/conf/amcc/MatniO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Oishi0TS06,
author = {Meeko Oishi and
Ian Mitchell and
Claire J. Tomlin and
Patrick Saint{-}Pierre},
title = {Computing Viable Sets and Reachable Sets to Design Feedback Linearizing
Control Laws Under Saturation},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {3801--3807},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.377614},
doi = {10.1109/CDC.2006.377614},
timestamp = {Fri, 04 Mar 2022 13:26:30 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Oishi0TS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/TomlinMBO03,
author = {Claire J. Tomlin and
Ian Mitchell and
Alexandre M. Bayen and
Meeko Oishi},
title = {Computational techniques for the verification of hybrid systems},
journal = {Proc. {IEEE}},
volume = {91},
number = {7},
pages = {986--1001},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2003.814621},
doi = {10.1109/JPROC.2003.814621},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/TomlinMBO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/OishiHT03,
author = {Meeko Oishi and
Inseok Hwang and
Claire J. Tomlin},
title = {Immediate observability of discrete event systems with application
to user-interface design},
booktitle = {42nd {IEEE} Conference on Decision and Control, {CDC} 2003, Maui,
Hawaii, USA, December 9-12, 2003},
pages = {2665--2672},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CDC.2003.1273026},
doi = {10.1109/CDC.2003.1273026},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/OishiHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Oishi0BTD02,
author = {Meeko Oishi and
Ian Mitchell and
Alexandre M. Bayen and
Claire J. Tomlin and
Asaf Degani},
title = {Hybrid verification of an interface for an automatic landing},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {1607--1613},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184749},
doi = {10.1109/CDC.2002.1184749},
timestamp = {Tue, 08 Mar 2022 11:46:48 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Oishi0BTD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Oishi02,
author = {Meeko Oishi},
editor = {Sven Koenig and
Robert C. Holte},
title = {Interface Verification: Discrete Abstractions of Hybrid Systems},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {340--341},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_35},
doi = {10.1007/3-540-45622-8\_35},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Oishi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OishiTGG01,
author = {Meeko Oishi and
Claire J. Tomlin and
Vipin Gopal and
Datta N. Godbole},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Addressing Multiobjective Control: Safety and Performance through
Constrained Optimization},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {459--472},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_37},
doi = {10.1007/3-540-45351-2\_37},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/OishiTGG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/OishiT00,
author = {Meeko Oishi and
Claire J. Tomlin},
title = {Switching in nonminimum phase systems: applications to a {VSTOL} aircraft},
booktitle = {American Control Conference, {ACC} 2000, Chicago, Illinois, USA, 28-30
June, 2000},
pages = {487--491},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ACC.2000.878948},
doi = {10.1109/ACC.2000.878948},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/OishiT00.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.
last updated on 2024-05-02 23:59 CEST 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:
