×

Found 35,144 Documents (Results 1–100)

Higher mathematics for science and engineering (to appear). (English) Zbl 07806304

Singapore: Springer (ISBN 978-981-9954-30-8/hbk; 978-981-9954-33-9/pbk; 978-981-9954-31-5/ebook). xxi, 668 p. (2024).
PDFBibTeX XMLCite

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

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. 3, 12 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