×

Found 10,319 Documents (Results 1–100)

A variation of parameters formula for nonautonomous linear impulsive differential equations with piecewise constant arguments of generalized type. arXiv:2402.18843

Preprint, arXiv:2402.18843 [math.DS] (2024).
BibTeX Cite
Full Text: arXiv

A formal approach for tuning stochastic oscillators. (English) Zbl 07810880

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 1-17 (2023).
MSC:  92C42
PDFBibTeX XMLCite
Full Text: DOI

Demo abstract: Analysing CPS security with falsification on the Microsoft flight simulator. (English) Zbl 07807971

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Permissiveness for strategy adaptation. (English) Zbl 07807970

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

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

all top 3

Software