Dureja, Rohit; Rozier, Kristin Y. Incremental design-space model checking via reusable reachable state approximations. (English) Zbl 1492.68085 Form. Methods Syst. Des. 58, No. 3, 375-398 (2021). MSC: 68Q60 68T20 90B20 93C95 PDFBibTeX XMLCite \textit{R. Dureja} and \textit{K. Y. Rozier}, Form. Methods Syst. Des. 58, No. 3, 375--398 (2021; Zbl 1492.68085) Full Text: DOI Link
Goles, Eric; Montealegre, Pedro; Ríos Wilson, Martín; Theyssier, Guillaume On the impact of treewidth in the computational complexity of freezing dynamics. (English) Zbl 07495174 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 260-272 (2021). MSC: 68Q45 37B10 68Q06 68Q17 68Q25 68W10 PDFBibTeX XMLCite \textit{E. Goles} et al., Lect. Notes Comput. Sci. 12813, 260--272 (2021; Zbl 07495174) Full Text: DOI arXiv
Kulmburg, Adrian; Althoff, Matthias On the co-NP-completeness of the zonotope containment problem. (English) Zbl 1478.90147 Eur. J. Control 62, 84-91 (2021). MSC: 90C60 90C27 68U05 93B03 93E10 52B20 68Q25 PDFBibTeX XMLCite \textit{A. Kulmburg} and \textit{M. Althoff}, Eur. J. Control 62, 84--91 (2021; Zbl 1478.90147) Full Text: DOI
Ashchepkov, Leonid T.; Dolgy, Dmitriy V.; Kim, Taekyun; Agarwal, Ravi P. Optimal control. 2nd edition. (English) Zbl 1481.49001 Cham: Springer (ISBN 978-3-030-91028-0/hbk; 978-3-030-91029-7/ebook). xvii, 251 p. (2021). MSC: 49-01 49J15 49K15 49J21 93-01 93B05 93C05 93C10 93C95 PDFBibTeX XMLCite \textit{L. T. Ashchepkov} et al., Optimal control. 2nd edition. Cham: Springer (2021; Zbl 1481.49001) Full Text: DOI
Ko, S. K.; Niskanen, R.; Potapov, I. Reachability problems in low-dimensional nondeterministic polynomial maps over integers. (English) Zbl 1521.37041 Inf. Comput. 281, Article ID 104785, 18 p. (2021). MSC: 37E99 68Q25 68Q45 PDFBibTeX XMLCite \textit{S. K. Ko} et al., Inf. Comput. 281, Article ID 104785, 18 p. (2021; Zbl 1521.37041) Full Text: DOI
Cunis, Torbjørn; Kolmanovsky, Ilya Viability, viscosity, and storage functions in model-predictive control with terminal constraints. (English) Zbl 1478.93165 Automatica 131, Article ID 109748, 11 p. (2021). MSC: 93B45 93D30 93B03 93C55 PDFBibTeX XMLCite \textit{T. Cunis} and \textit{I. Kolmanovsky}, Automatica 131, Article ID 109748, 11 p. (2021; Zbl 1478.93165) Full Text: DOI
Valizadeh, Mohammad; Tadayon, Mohammad Hesam Complexity and approximability of the marking problem. (English) Zbl 1524.68244 J. Math. Ext. 15, No. 1, 41-60 (2021). MSC: 68R10 05C20 05C22 68Q17 68Q25 90C35 PDFBibTeX XMLCite \textit{M. Valizadeh} and \textit{M. H. Tadayon}, J. Math. Ext. 15, No. 1, 41--60 (2021; Zbl 1524.68244) Full Text: Link
Buzikov, M. E.; Galyaev, A. A. Time-optimal interception of a moving target by a Dubins car. (English. Russian original) Zbl 1466.93014 Autom. Remote Control 82, No. 5, 745-758 (2021); translation from Avtom. Telemekh. 2021, No. 5, 3-19 (2021). MSC: 93B03 93C95 PDFBibTeX XMLCite \textit{M. E. Buzikov} and \textit{A. A. Galyaev}, Autom. Remote Control 82, No. 5, 745--758 (2021; Zbl 1466.93014); translation from Avtom. Telemekh. 2021, No. 5, 3--19 (2021) Full Text: DOI
Cetti Hansen, Jakob; Husted Kjelstrøm, Adam; Pavlogiannis, Andreas Tight bounds for reachability problems on one-counter and pushdown systems. (English) Zbl 1516.68043 Inf. Process. Lett. 171, Article ID 106135, 5 p. (2021). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{J. Cetti Hansen} et al., Inf. Process. Lett. 171, Article ID 106135, 5 p. (2021; Zbl 1516.68043) Full Text: DOI
Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana The complexity of verifying population protocols. (English) Zbl 1522.68065 Distrib. Comput. 34, No. 2, 133-177 (2021). MSC: 68M14 68Q10 68Q25 PDFBibTeX XMLCite \textit{J. Esparza} et al., Distrib. Comput. 34, No. 2, 133--177 (2021; Zbl 1522.68065) Full Text: DOI arXiv
Dippel, Matthew; Sundaram, Ravi; Varma, Akshar Realization problems on reachability sequences. (English) Zbl 1477.68218 Theor. Comput. Sci. 866, 1-13 (2021). MSC: 68R10 68Q17 68Q25 68W20 68W25 PDFBibTeX XMLCite \textit{M. Dippel} et al., Theor. Comput. Sci. 866, 1--13 (2021; Zbl 1477.68218) Full Text: DOI
Zetzsche, Georg The emptiness problem for valence automata over graph monoids. (English) Zbl 1475.68170 Inf. Comput. 277, Article ID 104583, 18 p. (2021). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{G. Zetzsche}, Inf. Comput. 277, Article ID 104583, 18 p. (2021; Zbl 1475.68170) Full Text: DOI arXiv
Michałek, Maciej Marcin; Pazderski, Dariusz Reconstruction of admissible joint-references from a prescribed output-reference for the non-standard and generalized N-trailers. (English) Zbl 1458.93020 Eur. J. Control 58, 60-73 (2021). MSC: 93B03 93C20 PDFBibTeX XMLCite \textit{M. M. Michałek} and \textit{D. Pazderski}, Eur. J. Control 58, 60--73 (2021; Zbl 1458.93020) Full Text: DOI
Orsoni, Marcu-Antone Reachable states and holomorphic function spaces for the 1-D heat equation. (English) Zbl 1458.93021 J. Funct. Anal. 280, No. 7, Article ID 108852, 18 p. (2021). MSC: 93B03 93C20 35K05 30H20 44A10 PDFBibTeX XMLCite \textit{M.-A. Orsoni}, J. Funct. Anal. 280, No. 7, Article ID 108852, 18 p. (2021; Zbl 1458.93021) Full Text: DOI arXiv