×

Found 234 Documents (Results 1–100)

The mathematical theory of Hughes’ model: a survey of results. arXiv:2305.10076

Preprint, arXiv:2305.10076 [math.AP] (2023).
BibTeX Cite
Full Text: arXiv

Stability of discrete-time switched linear systems with \(\omega\)-regular switching sequences. (English) Zbl 07807721

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Extreme \(L^p\) -quantile kernel regression. (English) Zbl 07645402

Daouia, Abdelaati (ed.) et al., Advances in contemporary statistics and econometrics. Festschrift in honor of Christine Thomas-Agnan. Cham: Springer. 197-219 (2021).
MSC:  62P20
PDFBibTeX XMLCite
Full Text: DOI

Singular perturbation approach for linear coupled ODE-PDE systems. (English) Zbl 1447.93223

Valmorbida, Giorgio (ed.) et al., Delays and interconnections: methodology, algorithms and applications. Selected contributions of the 4th DelSys workshop, Gif-sur-Yvette, France, November 25–27, 2015. Cham: Springer. Adv. Delays Dyn. 10, 3-17 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Formal controller synthesis from hybrid programs. (English) Zbl 1417.93161

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 271-272 (2018).
PDFBibTeX XMLCite
Full Text: DOI HAL

Scheduling of embedded controllers under timing contracts. (English) Zbl 1369.93359

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 131-140 (2017).
MSC:  93C57 68Q45 90B35
PDFBibTeX XMLCite
Full Text: DOI HAL

Constrained Spacecraft Relative Motion Planning Exploiting Periodic Natural Motion Trajectories and Invariance. arXiv:1703.06313

Preprint, arXiv:1703.06313 [math.OC] (2017).
BibTeX Cite
Full Text: arXiv

Ceteris paribus logic in counterfactual reasoning. (English) Zbl 1487.03037

Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 176-193 (2016).
MSC:  03B45 03A05
PDFBibTeX XMLCite
Full Text: arXiv Link

Verification and synthesis of timing contracts for embedded controllers. (English) Zbl 1364.68257

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 115-124 (2016).
MSC:  68Q60 68Q85 93C57
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software