×

zbMATH — the first resource for mathematics

Found 6,478 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Troják, Matej; Šafránek, David; Brim, Luboš; Šalagovič, Jakub; Červený, Jan
Executable biochemical space for specification and analysis of biochemical systems. (English) Zbl 07313959
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, 91-116 (2020).
MSC:  92C42 92C40
PDF BibTeX XML Cite
\textit{M. Troják} et al., Electron. Notes Theor. Comput. Sci. 350, 91--116 (2020; Zbl 07313959)
Full Text: DOI
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong
A novel approach for solving the BMI problem in barrier certificates generation. (English) Zbl 07306430
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, 582-603 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{X. Chen} et al., Lect. Notes Comput. Sci. 12224, 582--603 (2020; Zbl 07306430)
Full Text: DOI
Samuel, Stanly; Mallik, Kaushik; Schmuck, Anne-Kathrin; Neider, Daniel
Resilient abstraction-based controller design. (English) Zbl 07300874
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. 33, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Samuel} 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. 33, 2 p. (2020; Zbl 07300874)
Full Text: DOI
Ozay, Necmiye
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. (English) Zbl 07300873
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. 32, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{N. Ozay}, 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. 32, 2 p. (2020; Zbl 07300873)
Full Text: DOI
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872
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. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. Lavaei} 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. 31, 2 p. (2020; Zbl 07300872)
Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300871
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. 30, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Ashok} 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. 30, 2 p. (2020; Zbl 07300871)
Full Text: DOI
Ornia, Daniel Jarne; Mazo, Manuel
Convergence of ant colony multi-agent swarms. (English) Zbl 07300870
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. 29, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{D. J. Ornia} and \textit{M. Mazo}, 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. 29, 11 p. (2020; Zbl 07300870)
Full Text: DOI
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
Case study: Verifying the safety of an autonomous racing car with a neural network controller. (English) Zbl 07300869
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. 28, 7 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{R. Ivanov} 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. 28, 7 p. (2020; Zbl 07300869)
Full Text: DOI
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
Shea-Blymyer, Colin; Abbas, Houssam
A deontic logic analysis of autonomous systems’ safety. (English) Zbl 07300867
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. 26, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{C. Shea-Blymyer} and \textit{H. Abbas}, 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. 26, 11 p. (2020; Zbl 07300867)
Full Text: DOI
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming
Synthesizing barrier certificates using neural networks. (English) Zbl 07300866
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. 25, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{H. Zhao} 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. 25, 11 p. (2020; Zbl 07300866)
Full Text: DOI
Sadraddini, Sadra; Tedrake, Russ
Robust output feedback control with guaranteed constraint satisfaction. (English) Zbl 07300865
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. 24, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Sadraddini} and \textit{R. Tedrake}, 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. 24, 10 p. (2020; Zbl 07300865)
Full Text: DOI
Anevlavis, Tzanis; Tabuada, Paulo
A simple hierarchy for computing controlled invariant sets. (English) Zbl 07300864
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. 23, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{T. Anevlavis} and \textit{P. Tabuada}, 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. 23, 11 p. (2020; Zbl 07300864)
Full Text: DOI
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid
Compositional construction of control barrier functions for interconnected control systems. (English) Zbl 07300863
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. 22, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Jagtap} 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. 22, 11 p. (2020; Zbl 07300863)
Full Text: DOI
Maghenem, Mohamed; Sanfelice, Ricardo G.
Local lipschitzness of reachability maps for hybrid systems with applications to safety. (English) Zbl 07300862
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. 21, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Maghenem} and \textit{R. G. Sanfelice}, 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. 21, 11 p. (2020; Zbl 07300862)
Full Text: DOI
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan
Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861
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. 20, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{B. Caillaud} 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. 20, 11 p. (2020; Zbl 07300861)
Full Text: DOI
Proskurnikov, Anton V.
Does sample-time emulation preserve exponential stability? (English) Zbl 07300860
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. 19, 8 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. V. Proskurnikov}, 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. 19, 8 p. (2020; Zbl 07300860)
Full Text: DOI
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A computable and compositional semantics for hybrid automata. (English) Zbl 07300859
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. 18, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{D. Bresolin} 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. 18, 11 p. (2020; Zbl 07300859)
Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300858
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. 17, 7 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Ashok} 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. 17, 7 p. (2020; Zbl 07300858)
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
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin
On abstraction-based controller design with output feedback. (English) Zbl 07300856
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. 15, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{R. Majumdar} 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. 15, 11 p. (2020; Zbl 07300856)
Full Text: DOI
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh
Symbolic controller synthesis for Büchi specifications on stochastic systems. (English) Zbl 07300855
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. 14, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{R. Majumdar} 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. 14, 11 p. (2020; Zbl 07300855)
Full Text: DOI
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc
Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854
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. 13, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{T. Kushner} 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. 13, 12 p. (2020; Zbl 07300854)
Full Text: DOI
Zarei, Mojtaba; Wang, Yu; Pajic, Miroslav
Statistical verification of learning-based cyber-physical systems. (English) Zbl 07300853
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. 12, 7 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Zarei} 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. 12, 7 p. (2020; Zbl 07300853)
Full Text: DOI
Waga, Masaki
Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852
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. 11, 13 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Waga}, 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. 11, 13 p. (2020; Zbl 07300852)
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
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre
Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850
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. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Mohammadinejad} 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. 9, 10 p. (2020; Zbl 07300850)
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
Rabi, Maben
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. (English) Zbl 07300846
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. 5, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Rabi}, 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. 5, 11 p. (2020; Zbl 07300846)
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
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; Althoff, Matthias
Reachability analysis for hybrid systems with nonlinear guard sets. (English) Zbl 07300843
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. 2, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{N. Kochdumper} and \textit{M. Althoff}, 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. 2, 10 p. (2020; Zbl 07300843)
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
Pandžić, Stipe
On the dynamics of structured argumentation: modeling changes in default justification logic. (English) Zbl 07266055
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 222-241 (2020).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{S. Pandžić}, Lect. Notes Comput. Sci. 12012, 222--241 (2020; Zbl 07266055)
Full Text: DOI
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
On well-founded and recursive coalgebras. (English) Zbl 1455.18001
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
\textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001)
Full Text: DOI
Takei, Yoshitsugu
On the instanton-type expansions for Painlevé transcendents and elliptic functions. (English) Zbl 1444.33013
Filipuk, Galina (ed.) et al., Complex differential and difference equations. Proceedings of the school and conference held at Będlewo, Poland, September 2–15, 2018. Berlin: De Gruyter. De Gruyter Proc. Math., 365-377 (2020).
MSC:  33E17 33E05 34C20 34M25 34M60 37J40
PDF BibTeX XML Cite
\textit{Y. Takei}, in: Complex differential and difference equations. Proceedings of the school and conference held at Będlewo, Poland, September 2--15, 2018. Berlin: De Gruyter. 365--377 (2020; Zbl 1444.33013)
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. (English) Zbl 1434.93002
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020).
MSC:  93-06 68-06 68Q45 68Q60 93C30 00B25
PDF BibTeX XML Cite
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) (2020; Zbl 1434.93002)
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
all top 3
Biographic Reference
all top 3
Software