×

Found 1,131 Documents (Results 1–100)

100
MathJax

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
MSC:  47A45
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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