Cardona, Gustavo A.; Kamale, Disha; Vasile, Cristian-Ioan 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 \textit{G. A. Cardona} et al., in: 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; Zbl 07807944) Full Text: DOI
Cox, John; Hamilton, William T.; Newman, Alexandra M.; Martinek, Janna Optimal sizing and dispatch of solar power with storage. (English) Zbl 07766647 Optim. Eng. 24, No. 4, 2579-2617 (2023). MSC: 91B76 90C11 PDFBibTeX XMLCite \textit{J. Cox} et al., Optim. Eng. 24, No. 4, 2579--2617 (2023; Zbl 07766647) Full Text: DOI
Bertsimas, Dimitris; Gurnee, Wes Learning sparse nonlinear dynamics via mixed-integer optimization. (English) Zbl 1523.37082 Nonlinear Dyn. 111, No. 7, 6585-6604 (2023). MSC: 37M10 62J05 65K05 90C11 93B30 PDFBibTeX XMLCite \textit{D. Bertsimas} and \textit{W. Gurnee}, Nonlinear Dyn. 111, No. 7, 6585--6604 (2023; Zbl 1523.37082) Full Text: DOI arXiv
Allen, Richard Cory; Baratsas, Stefanos G.; Kakodkar, Rahul; Avraamidou, Styliani; Demirhan, Cosar Doga; Heuberger-Austin, Clara F.; Klokkenburg, Mark; Pistikopoulos, Efstratios N. A multi-period integrated planning and scheduling approach for developing energy systems. (English) Zbl 07754180 Optim. Control Appl. Methods 44, No. 2, 355-372 (2023). MSC: 90B35 90C11 PDFBibTeX XMLCite \textit{R. C. Allen} et al., Optim. Control Appl. Methods 44, No. 2, 355--372 (2023; Zbl 07754180) Full Text: DOI
Lu, Xiaonan; Cannon, Mark Robust adaptive model predictive control with persistent excitation conditions. (English) Zbl 1519.93074 Automatica 152, Article ID 110959, 8 p. (2023). MSC: 93B45 93C40 93B35 93D25 93B03 93C05 PDFBibTeX XMLCite \textit{X. Lu} and \textit{M. Cannon}, Automatica 152, Article ID 110959, 8 p. (2023; Zbl 1519.93074) Full Text: DOI arXiv
Maecker, Söhnke; Shen, Liji; Mönch, Lars Unrelated parallel machine scheduling with eligibility constraints and delivery times to minimize total weighted tardiness. (English) Zbl 1520.90116 Comput. Oper. Res. 149, Article ID 105999, 14 p. (2023). MSC: 90B35 68M20 90C11 90C59 PDFBibTeX XMLCite \textit{S. Maecker} et al., Comput. Oper. Res. 149, Article ID 105999, 14 p. (2023; Zbl 1520.90116) Full Text: DOI
Ceyhan, Gökhan; Köksalan, Murat; Lokman, Banu Extensions for Benders cuts and new valid inequalities for solving the European day-ahead electricity market clearing problem efficiently. (English) Zbl 1495.91076 Eur. J. Oper. Res. 300, No. 2, 713-726 (2022). MSC: 91B74 90C11 PDFBibTeX XMLCite \textit{G. Ceyhan} et al., Eur. J. Oper. Res. 300, No. 2, 713--726 (2022; Zbl 1495.91076) Full Text: DOI
Raghuraman, Vignesh; Koeln, Justin P. Set operations and order reductions for constrained zonotopes. (English) Zbl 1485.93101 Automatica 139, Article ID 110204, 13 p. (2022). MSC: 93B11 93C05 PDFBibTeX XMLCite \textit{V. Raghuraman} and \textit{J. P. Koeln}, Automatica 139, Article ID 110204, 13 p. (2022; Zbl 1485.93101) Full Text: DOI arXiv
Chen, Jingkai; Williams, Brian C.; Fan, Chuchu 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 \textit{J. Chen} et al., in: 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; Zbl 07807681) Full Text: DOI arXiv
Lu, Xiaonan; Cannon, Mark; Koksal-Rivet, Denis Robust adaptive model predictive control: performance and parameter estimation. (English) Zbl 1527.93059 Int. J. Robust Nonlinear Control 31, No. 18, 8703-8724 (2021). MSC: 93B35 93C40 93B45 93D25 93C05 PDFBibTeX XMLCite \textit{X. Lu} et al., Int. J. Robust Nonlinear Control 31, No. 18, 8703--8724 (2021; Zbl 1527.93059) Full Text: DOI arXiv OA License
Aktaş, Fatih S.; Ekmekcioglu, Ömer; Pinar, Mustafa Ç. Provably optimal sparse solutions to overdetermined linear systems with non-negativity constraints in a least-squares sense by implicit enumeration. (English) Zbl 1478.65028 Optim. Eng. 22, No. 4, 2505-2535 (2021). MSC: 65F20 65F22 65K05 90C26 PDFBibTeX XMLCite \textit{F. S. Aktaş} et al., Optim. Eng. 22, No. 4, 2505--2535 (2021; Zbl 1478.65028) Full Text: DOI Link
Haddad, Maroua; Nicod, Jean-Marc; Péra, Marie-Cécile; Varnier, Christophe Stand-alone renewable power system scheduling for a green data center using integer linear programming. (English) Zbl 1480.90132 J. Sched. 24, No. 5, 523-541 (2021). MSC: 90B35 68M20 90C05 90C11 91B76 PDFBibTeX XMLCite \textit{M. Haddad} et al., J. Sched. 24, No. 5, 523--541 (2021; Zbl 1480.90132) Full Text: DOI HAL
Vuillemin, Pierre; Maillard, Adrien; Poussot-Vassal, Charles Optimal modal truncation. (English) Zbl 1478.93085 Syst. Control Lett. 156, Article ID 105011, 12 p. (2021). MSC: 93B11 93B10 93C05 90C11 PDFBibTeX XMLCite \textit{P. Vuillemin} et al., Syst. Control Lett. 156, Article ID 105011, 12 p. (2021; Zbl 1478.93085) Full Text: DOI arXiv
Benítez-Peña, Sandra; Carrizosa, Emilio; Guerrero, Vanesa; Jiménez-Gamero, M. Dolores; Martín-Barragán, Belén; Molero-Río, Cristina; Ramírez-Cobo, Pepa; Romero Morales, Dolores; Sillero-Denamiel, M. Remedios On sparse ensemble methods: an application to short-term predictions of the evolution of COVID-19. (English) Zbl 1489.62237 Eur. J. Oper. Res. 295, No. 2, 648-663 (2021). MSC: 62J99 68T05 90C90 92D30 PDFBibTeX XMLCite \textit{S. Benítez-Peña} et al., Eur. J. Oper. Res. 295, No. 2, 648--663 (2021; Zbl 1489.62237) Full Text: DOI
Bertsimas, Dimitris; Mundru, Nishanth Sparse convex regression. (English) Zbl 07362315 INFORMS J. Comput. 33, No. 1, 262-279 (2021). MSC: 90Cxx PDFBibTeX XMLCite \textit{D. Bertsimas} and \textit{N. Mundru}, INFORMS J. Comput. 33, No. 1, 262--279 (2021; Zbl 07362315) Full Text: DOI
Luo, Xusheng; Pajic, Miroslav; Zavlanos, Michael M. An optimal graph-search method for secure state estimation. (English) Zbl 1461.93494 Automatica 123, Article ID 109323, 13 p. (2021). MSC: 93E10 93B70 93C83 93C05 PDFBibTeX XMLCite \textit{X. Luo} et al., Automatica 123, Article ID 109323, 13 p. (2021; Zbl 1461.93494) Full Text: DOI arXiv
Mejari, Manas; Naik, Vihangkumar V.; Piga, Dario; Bemporad, Alberto Identification of hybrid and linear parameter-varying models via piecewise affine regression using mixed Integer programming. (English) Zbl 1525.93041 Int. J. Robust Nonlinear Control 30, No. 15, 5802-5819 (2020). MSC: 93B30 93C30 93C05 PDFBibTeX XMLCite \textit{M. Mejari} et al., Int. J. Robust Nonlinear Control 30, No. 15, 5802--5819 (2020; Zbl 1525.93041) Full Text: DOI
Geißler, Björn; Martin, Alexander; Morsi, Antonio; Walther, Maximilian; Kolb, Oliver; Lang, Jens; Wagner, Lisa 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). MSC: 90C11 90C30 90C90 68U07 76B75 93C05 65L80 PDFBibTeX XMLCite \textit{B. Geißler} et al., EMS Ser. Ind. Appl. Math. 2, 73--104 (2020; Zbl 1486.90128) Full Text: DOI
Smith, Stanley W.; Arcak, Murat; Zamani, Majid Approximate abstractions of control systems with an application to aggregation. (English) Zbl 1451.93048 Automatica 119, Article ID 109065, 12 p. (2020). MSC: 93B11 93D30 93C05 PDFBibTeX XMLCite \textit{S. W. Smith} et al., Automatica 119, Article ID 109065, 12 p. (2020; Zbl 1451.93048) Full Text: DOI arXiv
Li, Xudong; Sun, Defeng; Toh, Kim-Chuan An asymptotically superlinearly convergent semismooth Newton augmented Lagrangian method for linear programming. (English) Zbl 1450.90007 SIAM J. Optim. 30, No. 3, 2410-2440 (2020). MSC: 90C05 90C06 90C25 65F10 PDFBibTeX XMLCite \textit{X. Li} et al., SIAM J. Optim. 30, No. 3, 2410--2440 (2020; Zbl 1450.90007) Full Text: DOI arXiv
Mansini, Renata; Zanotti, Roberto Optimizing the physician scheduling problem in a large hospital ward. (English) Zbl 1446.90082 J. Sched. 23, No. 3, 337-361 (2020). MSC: 90B35 68M20 90C05 90C11 PDFBibTeX XMLCite \textit{R. Mansini} and \textit{R. Zanotti}, J. Sched. 23, No. 3, 337--361 (2020; Zbl 1446.90082) Full Text: DOI
Koeln, Justin; Raghuraman, Vignesh; Hencey, Brandon Vertical hierarchical MPC for constrained linear systems. (English) Zbl 1441.93074 Automatica 113, Article ID 108817, 12 p. (2020). MSC: 93B45 93A13 93C55 93C05 PDFBibTeX XMLCite \textit{J. Koeln} et al., Automatica 113, Article ID 108817, 12 p. (2020; Zbl 1441.93074) Full Text: DOI
Malyscheff, Alexander M.; Trafalis, Theodore B. Kernel classification using a linear programming approach. (English) Zbl 1429.68233 Ann. Math. Artif. Intell. 88, No. 1-3, 39-51 (2020). MSC: 68T05 90C05 PDFBibTeX XMLCite \textit{A. M. Malyscheff} and \textit{T. B. Trafalis}, Ann. Math. Artif. Intell. 88, No. 1--3, 39--51 (2020; Zbl 1429.68233) Full Text: DOI
Li, Xudong; Sun, Defeng; Toh, Kim-Chuan On the efficient computation of a generalized Jacobian of the projector over the Birkhoff polytope. (English) Zbl 1434.90116 Math. Program. 179, No. 1-2 (A), 419-446 (2020). MSC: 90C20 49J52 49M15 65F10 90C06 90C25 PDFBibTeX XMLCite \textit{X. Li} et al., Math. Program. 179, No. 1--2 (A), 419--446 (2020; Zbl 1434.90116) Full Text: DOI arXiv
Baruah, Sanjoy K.; Bonifaci, Vincenzo; Bruni, Renato; Marchetti-Spaccamela, Alberto ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors. (English) Zbl 1428.90068 J. Sched. 22, No. 2, 195-209 (2019). MSC: 90B35 68M20 90C05 90C10 PDFBibTeX XMLCite \textit{S. K. Baruah} et al., J. Sched. 22, No. 2, 195--209 (2019; Zbl 1428.90068) Full Text: DOI HAL
Júlvez, Jorge; Oliver, Stephen G. Modeling, analyzing and controlling hybrid systems by guarded flexible nets. (English) Zbl 1425.93146 Nonlinear Anal., Hybrid Syst. 32, 131-146 (2019). MSC: 93C30 93A30 93B40 93B03 68Q85 PDFBibTeX XMLCite \textit{J. Júlvez} and \textit{S. G. Oliver}, Nonlinear Anal., Hybrid Syst. 32, 131--146 (2019; Zbl 1425.93146) Full Text: DOI Link
Szlobodnyik, Gergely; Szederkényi, Gábor Reachability analysis of low-order discrete state reaction networks obeying conservation laws. (English) Zbl 1420.92125 Complexity 2019, Article ID 1035974, 13 p. (2019). MSC: 92E20 93A30 90C05 90C10 PDFBibTeX XMLCite \textit{G. Szlobodnyik} and \textit{G. Szederkényi}, Complexity 2019, Article ID 1035974, 13 p. (2019; Zbl 1420.92125) Full Text: DOI
Halder, Abhishek; Geng, Xinbo; Fontes, Fernando A. C. C.; Kumar, P. R.; Xie, Le Optimal power consumption for demand response of thermostatically controlled loads. (English) Zbl 1411.49033 Optim. Control Appl. Methods 40, No. 1, 68-84 (2019). MSC: 49S05 49J15 90C11 90C05 93C05 PDFBibTeX XMLCite \textit{A. Halder} et al., Optim. Control Appl. Methods 40, No. 1, 68--84 (2019; Zbl 1411.49033) Full Text: DOI arXiv
Morato, Marcelo Menezes; Nguyen, Manh Quan; Sename, Olivier; Dugard, Luc Design of a fast real-time LPV model predictive control system for semi-active suspension control of a full vehicle. (English) Zbl 1406.93138 J. Franklin Inst. 356, No. 3, 1196-1224 (2019). MSC: 93C15 93C05 93B40 93C95 93-04 PDFBibTeX XMLCite \textit{M. M. Morato} et al., J. Franklin Inst. 356, No. 3, 1196--1224 (2019; Zbl 1406.93138) Full Text: DOI
Harirchi, Farshad; Yong, Sze Zheng; Ozay, Necmiye 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 \textit{F. Harirchi} et al., in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 227--251 (2018; Zbl 1458.93100) Full Text: DOI
Liu, Haoquan; Kearney, Michael P.; Austin, Kevin J. Dragline operation modelling and task assignment based on mixed-integer linear programming. (English) Zbl 1418.93022 Optim. Eng. 19, No. 4, 1005-1036 (2018). MSC: 93A30 93C95 90C11 PDFBibTeX XMLCite \textit{H. Liu} et al., Optim. Eng. 19, No. 4, 1005--1036 (2018; Zbl 1418.93022) Full Text: DOI
Baier, Robert; Braun, Philipp; Grüne, Lars; Kellett, Christopher M. 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). Reviewer: Sorin-Mihai Grad (Vienna) MSC: 93D30 90C11 93D05 90C05 PDFBibTeX XMLCite \textit{R. Baier} et al., Lect. Notes Math. 2227, 343--373 (2018; Zbl 1414.93168) Full Text: DOI Link
Zhu, Guanghui; Li, Zhiwu; Wu, Naiqi Model-based fault identification of discrete event systems using partially observed Petri nets. (English) Zbl 1406.93208 Automatica 96, 201-212 (2018). MSC: 93C65 93B30 90C10 68Q85 PDFBibTeX XMLCite \textit{G. Zhu} et al., Automatica 96, 201--212 (2018; Zbl 1406.93208) Full Text: DOI
Nagy, Ákos; Vajk, István LP-based velocity profile generation for robotic manipulators. (English) Zbl 1396.93094 Int. J. Control 91, No. 3, 582-592 (2018). MSC: 93C85 49N90 70E60 68T40 93C15 93C70 90C05 PDFBibTeX XMLCite \textit{Á. Nagy} and \textit{I. Vajk}, Int. J. Control 91, No. 3, 582--592 (2018; Zbl 1396.93094) Full Text: DOI
Roos, Kees An improved version of Chubanov’s method for solving a homogeneous feasibility problem. (English) Zbl 1398.90173 Optim. Methods Softw. 33, No. 1, 26-44 (2018). MSC: 90C30 PDFBibTeX XMLCite \textit{K. Roos}, Optim. Methods Softw. 33, No. 1, 26--44 (2018; Zbl 1398.90173) Full Text: DOI
Goebel, Gregor; Allgöwer, Frank Semi-explicit MPC based on subspace clustering. (English) Zbl 1373.93115 Automatica 83, 309-316 (2017). MSC: 93B40 93C05 93C55 PDFBibTeX XMLCite \textit{G. Goebel} and \textit{F. Allgöwer}, Automatica 83, 309--316 (2017; Zbl 1373.93115) Full Text: DOI
Kersting, Kristian; Mladenov, Martin; Tokmakov, Pavel Relational linear programming. (English) Zbl 1404.68109 Artif. Intell. 244, 188-216 (2017). MSC: 68T05 68N17 90C05 PDFBibTeX XMLCite \textit{K. Kersting} et al., Artif. Intell. 244, 188--216 (2017; Zbl 1404.68109) Full Text: DOI arXiv
Alabdulmohsin, Ibrahim; Cisse, Moustapha; Gao, Xin; Zhang, Xiangliang Large margin classification with indefinite similarities. (English) Zbl 1357.68157 Mach. Learn. 103, No. 2, 215-237 (2016). MSC: 68T05 62G08 62H30 PDFBibTeX XMLCite \textit{I. Alabdulmohsin} et al., Mach. Learn. 103, No. 2, 215--237 (2016; Zbl 1357.68157) Full Text: DOI
Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike Computing maximal and minimal trap spaces of Boolean networks. (English) Zbl 1416.92072 Nat. Comput. 14, No. 4, 535-544 (2015); erratum ibid. 17, No. 2, 437 (2018). MSC: 92C42 90C10 PDFBibTeX XMLCite \textit{H. Klarner} et al., Nat. Comput. 14, No. 4, 535--544 (2015; Zbl 1416.92072) Full Text: DOI arXiv
Dražić, Zorica; Savić, Aleksandar; Filipović, Vladimir An integer linear formulation for the file transfer scheduling problem. (English) Zbl 1336.90038 Top 22, No. 3, 1062-1073 (2014). MSC: 90B35 68M10 90C11 PDFBibTeX XMLCite \textit{Z. Dražić} et al., Top 22, No. 3, 1062--1073 (2014; Zbl 1336.90038) Full Text: DOI
Tanaskovic, Marko; Fagiano, Lorenzo; Smith, Roy; Morari, Manfred Adaptive receding horizon control for constrained MIMO systems. (English) Zbl 1309.93087 Automatica 50, No. 12, 3019-3029 (2014). MSC: 93C40 93B40 68T05 93C05 PDFBibTeX XMLCite \textit{M. Tanaskovic} et al., Automatica 50, No. 12, 3019--3029 (2014; Zbl 1309.93087) Full Text: DOI Link
Brandinu, Gianluca; Trautmann, Norbert A mixed-integer linear programming approach to the optimization of event-bus schedules: a scheduling application in the tourism sector. (English) Zbl 1305.90175 J. Sched. 17, No. 6, 621-629 (2014). MSC: 90B35 68M20 PDFBibTeX XMLCite \textit{G. Brandinu} and \textit{N. Trautmann}, J. Sched. 17, No. 6, 621--629 (2014; Zbl 1305.90175) Full Text: DOI Link
Bienstock, Daniel; Chertkov, Michael; Harnett, Sean Chance-constrained optimal power flow: risk-aware network control under uncertainty. (English) Zbl 1301.93095 SIAM Rev. 56, No. 3, 461-495 (2014). MSC: 93C41 49N90 94C15 90C05 PDFBibTeX XMLCite \textit{D. Bienstock} et al., SIAM Rev. 56, No. 3, 461--495 (2014; Zbl 1301.93095) Full Text: DOI arXiv
Liao, Hongwei; Wang, Yin; Cho, Hyoun Kyu; Stanley, Jason; Kelly, Terence; Lafortune, Stéphane; Mahlke, Scott; Reveliotis, Spyros Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. (English) Zbl 1268.93100 Discrete Event Dyn. Syst. 23, No. 2, 157-195 (2013). MSC: 93C65 93B40 PDFBibTeX XMLCite \textit{H. Liao} et al., Discrete Event Dyn. Syst. 23, No. 2, 157--195 (2013; Zbl 1268.93100) Full Text: DOI
Almgren, Torgny; Andréasson, Niclas; Patriksson, Michael; Strömberg, Ann-Brith; Wojciechowski, Adam; Önnheim, Magnus The opportunistic replacement problem: theoretical analyses and numerical tests. (English) Zbl 1258.49047 Math. Methods Oper. Res. 76, No. 3, 289-319 (2012). MSC: 49M30 90C11 90C57 93C05 PDFBibTeX XMLCite \textit{T. Almgren} et al., Math. Methods Oper. Res. 76, No. 3, 289--319 (2012; Zbl 1258.49047) Full Text: DOI
Yamamura, Kiyotaka; Tamura, Naoya Finding all solutions of separable systems of piecewise-linear equations using integer programming. (English) Zbl 1237.65053 J. Comput. Appl. Math. 236, No. 11, 2844-2852 (2012). MSC: 65H10 65K05 90C10 PDFBibTeX XMLCite \textit{K. Yamamura} and \textit{N. Tamura}, J. Comput. Appl. Math. 236, No. 11, 2844--2852 (2012; Zbl 1237.65053) Full Text: DOI