×

zbMATH — the first resource for mathematics

Found 3,832 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Brihaye, Thomas; Goeminne, Aline
On subgame perfect equilibria in turn-based reachability timed games. (English) Zbl 07317092
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 94-110 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{T. Brihaye} and \textit{A. Goeminne}, Lect. Notes Comput. Sci. 12288, 94--110 (2020; Zbl 07317092)
Full Text: DOI
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
Static analysis and stochastic search for reachability problem. (English) Zbl 07313961
Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 139-158 (2020).
MSC:  92C42 93B03 93A15
PDF BibTeX XML Cite
\textit{X. Chai} et al., Electron. Notes Theor. Comput. Sci. 350, 139--158 (2020; Zbl 07313961)
Full Text: DOI
Devonport, Alex; Khaled, Mahmoud; Arcak, Murat; Zamani, Majid
PIRK: scalable interval reachability analysis for high-dimensional nonlinear systems. (English) Zbl 07306428
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{A. Devonport} et al., Lect. Notes Comput. Sci. 12224, 556--568 (2020; Zbl 07306428)
Full Text: DOI
Molnar, Sandor; Molnar, Mark
Properties of linear time-dependent systems. (English) Zbl 07306341
Szidarovszky, Ferenc (ed.) et al., Games and dynamics in economics. Essays in honor of Akio Matsumoto. Singapore: Springer (ISBN 978-981-15-3622-9/hbk; 978-981-15-3623-6/ebook). 271-290 (2020).
MSC:  91B02 93B03 93C05
PDF BibTeX XML Cite
\textit{S. Molnar} and \textit{M. Molnar}, in: Games and dynamics in economics. Essays in honor of Akio Matsumoto. Singapore: Springer. 271--290 (2020; Zbl 07306341)
Full Text: DOI
Pilch, Carina; Hartmanns, Arnd; Remke, Anne
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. (English) Zbl 07300851
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 10, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{C. Pilch} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 10, 11 p. (2020; Zbl 07300851)
Full Text: DOI
el Hakim, Viktorio S.; Bekooij, Marco J. G.
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. (English) Zbl 07300844
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 3, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{V. S. el Hakim} and \textit{M. J. G. Bekooij}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 3, 11 p. (2020; Zbl 07300844)
Full Text: DOI
Kochdumper, Niklas; Schürmann, Bastian; Althoff, Matthias
Utilizing dependencies to obtain subsets of reachable sets. (English) Zbl 07300842
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 1, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{N. Kochdumper} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 1, 10 p. (2020; Zbl 07300842)
Full Text: DOI
Blondin, Michael; Raskin, Mikhail
The complexity of reachability in affine vector addition systems with states. (English) Zbl 07299471
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 224-236 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{M. Blondin} and \textit{M. Raskin}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 224--236 (2020; Zbl 07299471)
Full Text: DOI
Ashok, Pranav; Chatterjee, Krishnendu; Křetínský, Jan; Weininger, Maximilian; Winkler, Tobias
Approximating values of generalized-reachability stochastic games. (English) Zbl 07299462
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 102-115 (2020).
MSC:  91A15 68W25 68W40
PDF BibTeX XML Cite
\textit{P. Ashok} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 102--115 (2020; Zbl 07299462)
Full Text: DOI
Leroux, Jérôme
When reachability meets Grzegorczyk. (English) Zbl 07299453
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{J. Leroux}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 1--6 (2020; Zbl 07299453)
Full Text: DOI
Shorikov, A. F.; Kalev, V. I.
Solving the minimax open-loop control problem for carrier rocket fuel consumption. (English. Russian original) Zbl 07294366
Autom. Remote Control 81, No. 2, 258-268 (2020); translation from Avtom. Telemekh. 2020, No. 2, 76-90 (2020).
MSC:  93C40 93B03 93B25 93C05
PDF BibTeX XML Cite
\textit{A. F. Shorikov} and \textit{V. I. Kalev}, Autom. Remote Control 81, No. 2, 258--268 (2020; Zbl 07294366); translation from Avtom. Telemekh. 2020, No. 2, 76--90 (2020)
Full Text: DOI
Balandin, D. V.; Kogan, M. M.
Control and estimation in linear time-varying systems based on ellipsoidal reachability sets. (English. Russian original) Zbl 07291719
Autom. Remote Control 81, No. 8, 1367-1384 (2020); translation from Avtom. Telemekh. 2020, No. 8, 8-28 (2020).
MSC:  93B03 93C55 93C05 49J15
PDF BibTeX XML Cite
\textit{D. V. Balandin} and \textit{M. M. Kogan}, Autom. Remote Control 81, No. 8, 1367--1384 (2020; Zbl 07291719); translation from Avtom. Telemekh. 2020, No. 8, 8--28 (2020)
Full Text: DOI
Goswami, Debdipta; Paley, Derek A.
Global bilinearization and reachability analysis of control-affine nonlinear systems. (English) Zbl 1453.93046
Mauroy, Alexandre (ed.) et al., The Koopman operator in systems and control. Concepts, methodologies and applications. Cham: Springer. Lect. Notes Control Inf. Sci. 484, 81-98 (2020).
MSC:  93B28 93B17 93B03 93C10
PDF BibTeX XML Cite
\textit{D. Goswami} and \textit{D. A. Paley}, Lect. Notes Control Inf. Sci. 484, 81--98 (2020; Zbl 1453.93046)
Full Text: DOI
Filippova, Tatiana F.; Matviychuk, Oxana G.
Control problems for set-valued motions of systems with uncertainty and nonlinearity. (English) Zbl 1451.93210
Tarasyev, Alexander (ed.) et al., Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16–20, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 379-389 (2020).
MSC:  93C41 93C10 93B03
PDF BibTeX XML Cite
\textit{T. F. Filippova} and \textit{O. G. Matviychuk}, in: Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16--20, 2019. Cham: Springer. 379--389 (2020; Zbl 1451.93210)
Full Text: DOI
Bugrov, D. I.; Formal’skii, A. M.
Change of the attainability set after transition to a reduced system. (English. Russian original) Zbl 1440.93103
Mosc. Univ. Mech. Bull. 75, No. 2, 44-46 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 2, 59-61 (2020).
MSC:  93C05 93B03 93B05
PDF BibTeX XML Cite
\textit{D. I. Bugrov} and \textit{A. M. Formal'skii}, Mosc. Univ. Mech. Bull. 75, No. 2, 44--46 (2020; Zbl 1440.93103); translation from Vestn. Mosk. Univ., Ser. I 75, No. 2, 59--61 (2020)
Full Text: DOI
Suenaga, Kohei; Ishizawa, Takuya
Generalized property-directed reachability for hybrid systems. (English) Zbl 07228512
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). Lecture Notes in Computer Science 11990, 293-313 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{K. Suenaga} and \textit{T. Ishizawa}, Lect. Notes Comput. Sci. 11990, 293--313 (2020; Zbl 07228512)
Full Text: DOI
Haase, Christoph
Approaching arithmetic theories with finite-state automata. (English) Zbl 07225114
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 12038, 33-43 (2020).
MSC:  03F30 03D05
PDF BibTeX XML Cite
\textit{C. Haase}, Lect. Notes Comput. Sci. 12038, 33--43 (2020; Zbl 07225114)
Full Text: DOI
Erlebach, Thomas; Spooner, Jakob T.
A game of cops and robbers on graphs with periodic edge-connectivity. (English) Zbl 1446.91026
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 64-75 (2020).
MSC:  91A25 91A43 91A46 05C57
PDF BibTeX XML Cite
\textit{T. Erlebach} and \textit{J. T. Spooner}, Lect. Notes Comput. Sci. 12011, 64--75 (2020; Zbl 1446.91026)
Full Text: DOI
Gusev, Mikhail
Asymptotic behaviour of controllability gramians and convexity of small-time reachable sets. (English) Zbl 1447.93026
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 48-55 (2020).
MSC:  93B05 93C20 93B03
PDF BibTeX XML Cite
\textit{M. Gusev}, Lect. Notes Comput. Sci. 11958, 48--55 (2020; Zbl 1447.93026)
Full Text: DOI
Babiarz, Artur; Banshchikova, Irina; Czornik, Adam; Makarov, Evgeniĭ; Niezabitowski, Michał; Popova, Svetlana
Assignability of Lyapunov spectrum for discrete linear time-varying systems. (English) Zbl 1446.93009
Bohner, Martin (ed.) et al., Difference equations and discrete dynamical systems with applications. ICDEA 24, Dresden, Germany, May 21–25, 2018. Proceedings of the 24th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 312, 133-147 (2020).
MSC:  93B03 93B05 93B55 93B52 93C55 93C05
PDF BibTeX XML Cite
\textit{A. Babiarz} et al., Springer Proc. Math. Stat. 312, 133--147 (2020; Zbl 1446.93009)
Full Text: DOI
Astashova, I. V.; Filinovskiy, A. V.
Controllability and exact controllability in a problem of heat transfer with convection and time distributed functional. (English. Russian original) Zbl 1436.93017
J. Math. Sci., New York 244, No. 2, 148-157 (2020); translation from Tr. Semin. Im. I. G. Petrovskogo 32, 57-71 (2019).
MSC:  93B05 93C20 93B03 35L05
PDF BibTeX XML Cite
\textit{I. V. Astashova} and \textit{A. V. Filinovskiy}, J. Math. Sci., New York 244, No. 2, 148--157 (2020; Zbl 1436.93017); translation from Tr. Semin. Im. I. G. Petrovskogo 32, 57--71 (2019)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software