×

zbMATH — the first resource for mathematics

Found 1,796 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Abhishek, Aakash; Sood, Harry; Jeannin, Jean-Baptiste
Formal verification of braking while swerving in automobiles. (English) Zbl 07300868
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. 27, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. Abhishek} 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. 27, 11 p. (2020; Zbl 07300868)
Full Text: DOI
Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin
Compositional synthesis via a convex parameterization of assume-guarantee contracts. (English) Zbl 07300857
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. 16, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{K. Ghasemi} 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. 16, 10 p. (2020; Zbl 07300857)
Full Text: DOI
Han, Hyejin; Maghenem, Mohamed; Sanfelice, Ricardo G.
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. (English) Zbl 07300849
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. 8, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{H. Han} 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. 8, 10 p. (2020; Zbl 07300849)
Full Text: DOI
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin
From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848
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. 7, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{C. Mascle} 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. 7, 12 p. (2020; Zbl 07300848)
Full Text: DOI
Ferlez, James; Shoukry, Yasser
AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847
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. 6, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{J. Ferlez} and \textit{Y. Shoukry}, 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. 6, 11 p. (2020; Zbl 07300847)
Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M.
Worst-case topological entropy and minimal data rate for state observation of switched linear systems. (English) Zbl 07300845
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. 4, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{G. O. Berger} and \textit{R. M. Jungers}, 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. 4, 11 p. (2020; Zbl 07300845)
Full Text: DOI
van den Brand, Jan; Lee, Yin Tat; Sidford, Aaron; Song, Zhao
Solving tall dense linear programs in nearly linear time. (English) Zbl 07298287
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 775-788 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{J. van den Brand} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 775--788 (2020; Zbl 07298287)
Full Text: DOI
Strelkovskii, Nikita; Orlov, Sergey
Program packages method for solution of a linear terminal control problem with incomplete information. (English) Zbl 1451.49035
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., 213-223 (2020).
MSC:  49N30
PDF BibTeX XML Cite
\textit{N. Strelkovskii} and \textit{S. Orlov}, 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. 213--223 (2020; Zbl 1451.49035)
Full Text: DOI
Orlov, S. M.; Strelkovskii, N. V.
Calculation of elements of a guiding program package for singular clusters of the set of initial states in the package guidance problem. (English. Russian original) Zbl 07209293
Proc. Steklov Inst. Math. 308, Suppl. 1, 163-177 (2020); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 25, No. 1, 150-165 (2019).
Reviewer: Vyacheslav I. Maksimov (Yekaterinburg)
MSC:  93B30 49N45 93C05
PDF BibTeX XML Cite
\textit{S. M. Orlov} and \textit{N. V. Strelkovskii}, Proc. Steklov Inst. Math. 308, 163--177 (2020; Zbl 07209293); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 25, No. 1, 150--165 (2019)
Full Text: DOI
Ramasubramanian, Bhaskar; Niu, Luyao; Clark, Andrew; Bushnell, Linda; Poovendran, Radha
Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates. (English) Zbl 1440.68038
Alpcan, Tansu (ed.) et al., Decision and game theory for security. 10th international conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11836, 385-403 (2019).
MSC:  68M25 68Q60 91A80
PDF BibTeX XML Cite
\textit{B. Ramasubramanian} et al., Lect. Notes Comput. Sci. 11836, 385--403 (2019; Zbl 1440.68038)
Full Text: DOI
Umnov, A. E.; Umnov, E. A.
Using feedback functions in linear programming problems. (English. Russian original) Zbl 1432.90081
Comput. Math. Math. Phys. 59, No. 10, 1626-1638 (2019); translation from Zh. Vychisl. Mat. Mat. Fiz. 59, No. 10, 1681-1694 (2019).
MSC:  90C05
PDF BibTeX XML Cite
\textit{A. E. Umnov} and \textit{E. A. Umnov}, Comput. Math. Math. Phys. 59, No. 10, 1626--1638 (2019; Zbl 1432.90081); translation from Zh. Vychisl. Mat. Mat. Fiz. 59, No. 10, 1681--1694 (2019)
Full Text: DOI
Cohen, Michael B.; Lee, Yin Tat; Song, Zhao
Solving linear programs in the current matrix multiplication time. (English) Zbl 1437.90097
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 938-942 (2019).
MSC:  90C05 68R05 90C51
PDF BibTeX XML Cite
\textit{M. B. Cohen} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 938--942 (2019; Zbl 1437.90097)
Full Text: DOI
Yang, Liren; Ozay, Necmiye
Poster abstract: Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems. (English) Zbl 07120172
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 278-279 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{L. Yang} and \textit{N. Ozay}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 278--279 (2019; Zbl 07120172)
Full Text: DOI
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.
Demo abstract: SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120165
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 264-265 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 264--265 (2019; Zbl 07120165)
Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M.
Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 260-261 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 260--261 (2019; Zbl 07120163)
Full Text: DOI
Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
On the decidability of linear bounded periodic cyber-physical systems. (English) Zbl 07120144
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 87-98 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{R. Lanotte} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 87--98 (2019; Zbl 07120144)
Full Text: DOI
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.
SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120138
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 33-38 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 33--38 (2019; Zbl 07120138)
Full Text: DOI
Bogomolov, Sergiy; Frehse, Goran; Gurung, Amit; Li, Dongxu; Martius, Georg; Ray, Rajarshi
Falsification of hybrid systems using symbolic reachability and trajectory splicing. (English) Zbl 07120135
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 1-10 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Bogomolov} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 1--10 (2019; Zbl 07120135)
Full Text: DOI
Astaf’ev, N. N.; Ivanov, A. V.; Trofimov, S. P.
The set of target vectors in a semi-infinite linear program with a duality gap. (English. Russian original) Zbl 1419.90061
Proc. Steklov Inst. Math. 304, Suppl. 1, S14-S22 (2019); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 22, No. 4, 43-52 (2016).
MSC:  90C05 90C34
PDF BibTeX XML Cite
\textit{N. N. Astaf'ev} et al., Proc. Steklov Inst. Math. 304, S14--S22 (2019; Zbl 1419.90061); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 22, No. 4, 43--52 (2016)
Full Text: DOI
Anni, Samuele (ed.); Jorgenson, Jay (ed.); Smajlović, Lejla (ed.); Walling, Lynne (ed.)
Automorphic forms and related topics. Building bridges: 3rd EU/US summer school and workshop on automorphic forms and related topics, Sarajevo, Bosnia and Herzegovina, July 11–22, 2016. (English) Zbl 1420.11005
Contemporary Mathematics 732. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3525-7/pbk; 978-1-4704-5317-6/ebook). viii, 286 p. (2019).
MSC:  11-06 11Fxx 11Mxx 11Gxx 14Gxx 14Kxx 22E45 22E50 22E55 22E57 32Nxx
PDF BibTeX XML Cite
\textit{S. Anni} (ed.) et al., Automorphic forms and related topics. Building bridges: 3rd EU/US summer school and workshop on automorphic forms and related topics, Sarajevo, Bosnia and Herzegovina, July 11--22, 2016. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1420.11005)
Full Text: DOI
Pradic, Pierre; Riba, Colin
LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. (English) Zbl 1453.03070
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 849-858 (2018).
MSC:  03F52 03D05 68Q45 68Q60
PDF BibTeX XML Cite
\textit{P. Pradic} and \textit{C. Riba}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 849--858 (2018; Zbl 1453.03070)
Full Text: DOI
Hacon, Christopher D.; McKernan, James; Xu, Chenyang
Boundedness of varieties of log general type. (English) Zbl 1451.14047
de Fernex, Tommaso (ed.) et al., Algebraic geometry: Salt Lake City 2015. 2015 summer research institute in algebraic geometry, University of Utah, Salt Lake City, UT, USA, July 13–31, 2015. Proceedings. Part 1. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute. Proc. Symp. Pure Math. 97, 1, 309-348 (2018).
MSC:  14E30 14C20 14-02
PDF BibTeX XML Cite
\textit{C. D. Hacon} et al., Proc. Symp. Pure Math. 97, 309--348 (2018; Zbl 1451.14047)
Full Text: DOI
Baumann, Pierre; Riche, Simon
Notes on the geometric Satake equivalence. (English) Zbl 1450.22009
Heiermann, Volker (ed.) et al., Relative aspects in representation theory, Langlands functoriality and automorphic forms. CIRM Jean-Morlet Chair, spring 2016. Cham: Springer; Paris: Société Mathématique de France (SMF). Lect. Notes Math. 2221, 1-134 (2018).
MSC:  22E55 14D24 20G05
PDF BibTeX XML Cite
\textit{P. Baumann} and \textit{S. Riche}, Lect. Notes Math. 2221, 1--134 (2018; Zbl 1450.22009)
Full Text: DOI
Birkar, Caucher
Birational geometry of algebraic varieties. (English) Zbl 1441.14053
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 565-590 (2018).
MSC:  14E30 14J45 14B05 14C20 14E05 14E07 14-02 14-03 01A61
PDF BibTeX XML Cite
\textit{C. Birkar}, in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 565--590 (2018; Zbl 1441.14053)
Full Text: DOI
Faran, Rachel; Kupferman, Orna
LTL with arithmetic and its applications in reasoning about hierarchical systems. (English) Zbl 1415.68144
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 343-362 (2018).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
\textit{R. Faran} and \textit{O. Kupferman}, EPiC Ser. Comput. 57, 343--362 (2018; Zbl 1415.68144)
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