×

Found 105 Documents (Results 1–100)

Determination of stable branches of relative equilibria of the \(N\)-vortex problem on the sphere. arXiv:2309.04320

Preprint, arXiv:2309.04320 [math.DS] (2023).
BibTeX Cite
Full Text: arXiv

What’s decidable about discrete linear dynamical systems? (English) Zbl 1528.68228

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 21-38 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis using message passing over tree decompositions. (English) Zbl 1478.68173

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. Lect. Notes Comput. Sci. 12224, 604-628 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Rigorous computational dynamics in the context of unknown nonlinearities. (English) Zbl 1404.37112

van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2814-3/hbk; 978-1-4704-4729-8/ebook). Proceedings of Symposia in Applied Mathematics 74, 195-213 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Validated numerics for equilibria of analytic vector fields: invariant manifolds and connecting orbits. (English) Zbl 1409.65109

van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Appl. Math. 74, 27-80 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. (English) Zbl 1434.37008

Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 66, Article 29, 13 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Simulation based computation of certificates for safety of dynamical systems. (English) Zbl 1494.68172

Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 303-317 (2017).
MSC:  68Q60 37M05
PDFBibTeX XMLCite
Full Text: DOI arXiv

A linear programming relaxation based approach for generating barrier certificates of hybrid systems. (English) Zbl 1427.68176

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 721-738 (2016).
MSC:  68Q60 37B10 90C90
PDFBibTeX XMLCite
Full Text: DOI

Validated simulation-based verification of delayed differential dynamics. (English) Zbl 1427.68163

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 137-154 (2016).
MSC:  68Q60 34K05 37C10
PDFBibTeX XMLCite
Full Text: DOI

A model checking approach to discrete bifurcation analysis. (English) Zbl 1427.68159

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 85-101 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Certifying trajectories of dynamical systems. (English) Zbl 1460.37078

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 520-532 (2016).
MSC:  37M99 65L05 65G20
PDFBibTeX XMLCite
Full Text: DOI HAL

A hierarchy of proof rules for checking differential invariance of algebraic sets. (English) Zbl 1432.68262

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 431-448 (2015).
MSC:  68Q60 37C10
PDFBibTeX XMLCite
Full Text: DOI HAL

Recipes for continuation. (English) Zbl 1277.65037

Computational Science & Engineering 11. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-611972-56-6/pbk; 978-1-61197-257-3/ebook). xv, 584 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Logics of dynamical systems. (English) Zbl 1362.68178

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 13-24 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. (English) Zbl 1375.68072

Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 59-74 (2012).
MSC:  68Q45 37B10
PDFBibTeX XMLCite
Full Text: DOI

Symbolic dynamics, flower automata and infinite traces. (English) Zbl 1226.68053

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 135-142 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Robust computations with dynamical systems. (English) Zbl 1287.68103

Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 198-208 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Computer-aided computation of abelian integrals and robust normal forms. (English) Zbl 1514.65002

Uppsala Dissertations in Mathematics 66. Uppsala: Uppsala Univ., Department of Mathematics (Diss.) (ISBN 978-91-506-2093-1). vi, 24 p., open access (2009).
PDFBibTeX XMLCite
Full Text: Link

Finding positively invariant sets of a class of nonlinear loops via curve fitting. (English) Zbl 1356.68147

Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 185-190 (2009).
MSC:  68Q60 37D45 65D10
PDFBibTeX XMLCite
Full Text: DOI

Deductive verification of continuous dynamical systems. (English) Zbl 1248.68336

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 383-394, electronic only (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Satisfiability of viability constraints for Pfaffian dynamics. (English) Zbl 1185.68447

Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 260-269 (2007).
MSC:  68Q85 37B10 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A nonlinear dynamics perspective of Wolfram’s new kind of science. Vol. 2. (English) Zbl 1135.37001

World Scientific Series on Nonlinear Science. Series A 57. Hackensack, NJ: World Scientific (ISBN 981-256-976-6/hbk; 981-256-642-2/set; 978-981-277-213-8/ebook). i-xviii, 369-947. (2007).
PDFBibTeX XMLCite

Test for hyperbolicity of a dynamical system. (English) Zbl 1244.37021

Osipenko, G. S. (ed.), Tools for mathematical modelling. Proceedings of the 4th international conference, St. Petersburg, Russia, June 23–28, 2003. St. Petersburg: St. Petersburg State Polytechnic University (ISBN 5-7422-0511-2/pbk). Math. Res., St. Petersburg 9, 338-344 (2003).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field