×

Found 46 Documents (Results 1–46)

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

Optimal mixed discrete-continuous planning for linear hybrid systems. (English) Zbl 07807681

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 12 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimization. (English) Zbl 1486.90128

Pirsing, Andreas (ed.) et al., Decision support systems for water supply systems. Smart water system to improve the operation of water supply systems by using applied mathematics. Berlin: European Mathematical Society (EMS). EMS Ser. Ind. Appl. Math. 2, 73-104 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Passive diagnosis of hidden-mode switched affine models with detection guarantees via model invalidation. (English) Zbl 1458.93100

Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 227-251 (2018).
MSC:  93B70 93C83 90C11
PDFBibTeX XMLCite
Full Text: DOI

Numerical construction of nonsmooth control Lyapunov functions. (English) Zbl 1414.93168

Giselsson, Pontus (ed.) et al., Large-scale and distributed optimization. Contributions of the workshop, Lund, Sweden, June 14–16, 2017. Cham: Springer. Lect. Notes Math. 2227, 343-373 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software