×

Found 2,126 Documents (Results 1–100)

Poster: Convex scenario optimisation for ReLU networks. (English) Zbl 07807967

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. 26, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Interval Markov decision processes with continuous action-spaces. (English) Zbl 07807953

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. 12, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributionally robust strategy synthesis for switched stochastic systems. (English) Zbl 07807952

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. 11, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

ETCetera: beyond event-triggered control. (English) Zbl 07807728

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. 20, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A simpler alternative: minimizing transition systems modulo alternating simulation equivalence. (English) Zbl 07807715

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. 7, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Robust event-driven interactions in cooperative multi-agent learning. (English) Zbl 07643440

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 281-297 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Regional stability of nonlinear sampled-data controlled systems under actuator saturation: a quasi-LPV approach. (English) Zbl 1504.93291

Valmorbida, Giorgio (ed.) et al., Accounting for constraints in delay systems. Based on the workshop, Gif-sur-Yvette, France; November 22–24, 2017. Cham: Springer. Adv. Delays Dyn. 12, 189-207 (2022).
MSC:  93D05 93C57 93C10
PDFBibTeX XMLCite
Full Text: DOI

Mathematical modeling and diagnostics using neural networks and a genetic algorithm for epilepsy patients. (English) Zbl 07610468

Badriev, Ildar B. (ed.) et al., Mesh methods for boundary-value problems and applications. 13th international conference, Kazan, Russia, October 20–25, 2020. Cham: Springer. Lect. Notes Comput. Sci. Eng. 141, 563-573 (2022).
MSC:  65Nxx
PDFBibTeX XMLCite
Full Text: DOI

Mathematical modeling (Faedo-Galerkin method, solution existence theorem) of nonlinear dynamics for MEMS/NEMS devices elements (micropolar theory) in the rectangular shells form in plane, taking into account the temperature and deformation fields connection. (English) Zbl 07610445

Badriev, Ildar B. (ed.) et al., Mesh methods for boundary-value problems and applications. 13th international conference, Kazan, Russia, October 20–25, 2020. Cham: Springer. Lect. Notes Comput. Sci. Eng. 141, 247-260 (2022).
MSC:  65Nxx
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