×

Found 1,131 Documents (Results 1–100)

100
MathJax
Newest 1st
Dubey, Paromita; Chen, Yaqing; Gajardo, Álvaro; Bhattacharjee, Satarupa; Carroll, Cody; Zhou, Yidong; Chen, Han; Müller, Hans-Georg

Learning delay dynamics for multivariate stochastic processes, with application to the prediction of the growth rate of COVID-19 cases in the United States. (English) Zbl 07545040

J. Math. Anal. Appl. 514, No. 2, Article ID 125677, 27 p. (2022).
MSC:  62Gxx 62Jxx 62Pxx
PDF BibTeX XML Cite
\textit{P. Dubey} et al., J. Math. Anal. Appl. 514, No. 2, Article ID 125677, 27 p. (2022; Zbl 07545040)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Lordejani, Sajad Naderi; Besselink, Bart; Chaillet, Antoine; De Wouw, Nathan van

On extended model order reduction for linear time delay systems. (English) Zbl 1480.93057

Benner, Peter (ed.) et al., Model reduction of complex dynamical systems. Selected papers based on the presentations at the workshop, University of Graz, Graz, Austria, August 28–30, 2019. Cham: Birkhäuser. ISNM, Int. Ser. Numer. Math. 171, 191-215 (2021).
MSC:  93B11 93C23 93C43 93C05 93B05 93B07
PDF BibTeX XML Cite
\textit{S. N. Lordejani} et al., ISNM, Int. Ser. Numer. Math. 171, 191--215 (2021; Zbl 1480.93057)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Zhang, Zhiming; Zheng, Wei; Lam, H. K.; Wen, Shuhuan; Sun, Fuchun; Xie, Ping

Stability analysis and output feedback control for stochastic networked systems with multiple communication delays and nonlinearities using fuzzy control technique. (English) Zbl 1466.93177

Appl. Math. Comput. 386, Article ID 125374, 24 p. (2020).
MSC:  93E15 93C42 93D15 60J20
PDF BibTeX XML Cite
\textit{Z. Zhang} et al., Appl. Math. Comput. 386, Article ID 125374, 24 p. (2020; Zbl 1466.93177)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Abhishek, Aakash; Sood, Harry; Jeannin, Jean-Baptiste

Formal verification of braking while swerving in automobiles. (English) Zbl 07300868

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 27, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. Abhishek} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 27, 11 p. (2020; Zbl 07300868)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin

Compositional synthesis via a convex parameterization of assume-guarantee contracts. (English) Zbl 07300857

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 16, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{K. Ghasemi} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 16, 10 p. (2020; Zbl 07300857)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Han, Hyejin; Maghenem, Mohamed; Sanfelice, Ricardo G.

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. (English) Zbl 07300849

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 8, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{H. Han} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 8, 10 p. (2020; Zbl 07300849)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin

From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{C. Mascle} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020; Zbl 07300848)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Ferlez, James; Shoukry, Yasser

AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{J. Ferlez} and \textit{Y. Shoukry}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020; Zbl 07300847)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Berger, Guillaume O.; Jungers, Raphaël M.

Worst-case topological entropy and minimal data rate for state observation of switched linear systems. (English) Zbl 07300845

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 4, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 4, 11 p. (2020; Zbl 07300845)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Ball, Joseph A.; Sau, Haripada

Functional models for commuting Hilbert-space contractions. (English) Zbl 1481.47011

Curto, Raul E. (ed.) et al., Operator theory, operator algebras and their interactions with geometry and topology. Ronald G. Douglas memorial volume. Proceedings of the international workshop on operator theory and applications (IWOTA 2018), Shanghai, China, July 23–27, 2018. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 278, 11-54 (2020).
Reviewer: Bilender P. Allahverdiev (Isparta)
MSC:  47A45
PDF BibTeX XML Cite
\textit{J. A. Ball} and \textit{H. Sau}, Oper. Theory: Adv. Appl. 278, 11--54 (2020; Zbl 1481.47011)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Cherednichenko, Kirill D.; Kiselev, Alexander V.; Silva, Luis O.

Scattering theory for a class of non-selfadjoint extensions of symmetric operators. (English) Zbl 07240450

Kurasov, Pavel (ed.) et al., Analysis as a tool in mathematical physics. In memory of Boris Pavlov. Collected papers presented at the conferences “Spectral Theory and Applications”, Stockholm, Sweden, March 13–15, 2016 and “Operator Theory, Analysis and Mathematical Physics – OTAMP2016”, Euler International Mathematical Institute, St. Petersburg, Russia, August 2–7, 2016. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 276, 194-230 (2020).
Reviewer: Jiři Lipovský (Hradec Králové)
MSC:  47A45 47A40 34L25 81Q35
PDF BibTeX XML Cite
\textit{K. D. Cherednichenko} et al., Oper. Theory: Adv. Appl. 276, 194--230 (2020; Zbl 07240450)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Rachdi, Mustapha; Alahiane, Mohamed; Ouassou, Idir; Vieu, Philippe

Generalized functional partially linear single-index models. (English) Zbl 1444.62168

Aneiros, Germán (ed.) et al., Functional and high-dimensional statistics and related fields. Selected papers presented at the 5th international workshop on functional and operatorial statistics, IWFOS 2021, Brno, Czech Republic, June 23–25, 2021. Cham: Springer. Contrib. Stat., 221-228 (2020).
MSC:  62R10 62G08 62G05 62G20 62J12 62H12
PDF BibTeX XML Cite
\textit{M. Rachdi} et al., in: Functional and high-dimensional statistics and related fields. Selected papers presented at the 5th international workshop on functional and operatorial statistics, IWFOS 2021, Brno, Czech Republic, June 23--25, 2021. Cham: Springer. 221--228 (2020; Zbl 1444.62168)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Alpay, Daniel; Colombo, Fabrizio; Sabadini, Irene

Quaternionic de Branges spaces and characteristic operator function. (English) Zbl 1475.47001

SpringerBriefs in Mathematics. Cham: Springer (ISBN 978-3-030-38311-4/pbk; 978-3-030-38312-1/ebook). x, 116 p. (2020).
Reviewer: G. Ramesh (Sangareddy)
MSC:  47-02 47S05 47A48 46E22 30G35 46C20
PDF BibTeX XML Cite
\textit{D. Alpay} et al., Quaternionic de Branges spaces and characteristic operator function. Cham: Springer (2020; Zbl 1475.47001)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gosea, Ion Victor; Duff, Igor Pontes; Benner, Peter; Antoulas, Athanasios C.

Model order reduction of switched linear systems with constrained switching. (English) Zbl 1428.93028

Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 41-53 (2020).
MSC:  93B11 93B03 93B07 93C30 93C05
PDF BibTeX XML Cite
\textit{I. V. Gosea} et al., IUTAM Bookser. 36, 41--53 (2020; Zbl 1428.93028)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Zhang, Tao; Huang, Yuan; Zhang, Qingzhao; Ma, Shuangge; Ahmed, S. Ejaz

Penalized relative error estimation of a partially functional linear multiplicative model. (English) Zbl 1433.62338

Ahmed, S. Ejaz (ed.) et al., Matrices, statistics and big data. Selected contributions from IWMS 2016, the 25th international workshop on matrices and statistics, Funchal, Madeira, Portugal, June 6–9, 2016. Cham: Springer. Contrib. Stat., 127-144 (2019).
MSC:  62R07 62P10 62H12 62M20
PDF BibTeX XML Cite
\textit{T. Zhang} et al., in: Matrices, statistics and big data. Selected contributions from IWMS 2016, the 25th international workshop on matrices and statistics, Funchal, Madeira, Portugal, June 6--9, 2016. Cham: Springer. 127--144 (2019; Zbl 1433.62338)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Yang, Liren; Ozay, Necmiye

Poster abstract: Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems. (English) Zbl 07120172

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 278-279 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{L. Yang} and \textit{N. Ozay}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 278--279 (2019; Zbl 07120172)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.

Demo abstract: SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120165

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 264-265 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 264--265 (2019; Zbl 07120165)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Berger, Guillaume O.; Jungers, Raphaël M.

Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 260-261 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 260--261 (2019; Zbl 07120163)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio

On the decidability of linear bounded periodic cyber-physical systems. (English) Zbl 07120144

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 87-98 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{R. Lanotte} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 87--98 (2019; Zbl 07120144)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.

SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120138

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 33-38 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 33--38 (2019; Zbl 07120138)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bogomolov, Sergiy; Frehse, Goran; Gurung, Amit; Li, Dongxu; Martius, Georg; Ray, Rajarshi

Falsification of hybrid systems using symbolic reachability and trajectory splicing. (English) Zbl 07120135

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 1-10 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Bogomolov} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 1--10 (2019; Zbl 07120135)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software