×

zbMATH — the first resource for mathematics

Found 1,446 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
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
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
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
Gosea, Ion Victor; Duff, Igor Pontes; Benner, Peter; Antoulas, Athanasios C.
Model order reduction of switched linear systems with constrained switching. (English) Zbl 1428.93028
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 41-53 (2020).
MSC:  93B11 93B03 93B07 93C30 93C05
PDF BibTeX XML Cite
\textit{I. V. Gosea} et al., IUTAM Bookser. 36, 41--53 (2020; Zbl 1428.93028)
Full Text: DOI Link
Domek, Stefan
Switched fractional state-space predictive control methods for non-linear fractional systems. (English) Zbl 1427.93097
Malinowska, Agnieszka B. (ed.) et al., Advances in non-integer order calculus and its applications. Proceedings of the 10th international conference on non-integer order calculus and its applications, Bialystok University of Technology, Białystok, Poland, September 20–21, 2018. Cham: Springer. Lect. Notes Electr. Eng. 559, 113-127 (2020).
MSC:  93C30 93C15 93B45 26A33 93C10
PDF BibTeX XML Cite
\textit{S. Domek}, Lect. Notes Electr. Eng. 559, 113--127 (2020; Zbl 1427.93097)
Full Text: DOI
Yan, Wang; Yimin, Shi
Statistical inference of the competing risks model with modified Weibull distribution under adaptive type-II progressive hybrid censoring. (English) Zbl 07229575
Li, Quan-Lin (ed.) et al., Stochastic models in reliability, network security and system safety. Essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday. Singapore: Springer (ISBN 978-981-15-0863-9/pbk; 978-981-15-0864-6/ebook). Communications in Computer and Information Science 1102, 295-312 (2019).
MSC:  68Mxx
PDF BibTeX XML Cite
\textit{W. Yan} and \textit{S. Yimin}, Commun. Comput. Inf. Sci. 1102, 295--312 (2019; Zbl 07229575)
Full Text: DOI
Saidi, Essia; Hammi, Yosra; Douik, Ali
Modeling and explicit model-predictive control of a two-tank system by PWA approach. (English) Zbl 1447.93096
Derbel, Nabil (ed.) et al., Systems, automation, and control. Selected papers based on the presentations at the international multiconference, Leipzig 2018. Berlin: De Gruyter/Oldenbourg. Adv. Syst. Signals Devices 9, 123-137 (2019).
MSC:  93B45 93C30
PDF BibTeX XML Cite
\textit{E. Saidi} et al., Adv. Syst. Signals Devices 9, 123--137 (2019; Zbl 1447.93096)
Full Text: DOI
Etheridge, Alison
Spatial population models. (English) Zbl 1447.92253
Malliavin calculus and normal approximations and Spatial population models. Lecture notes of two minicourses based on the presentations at the 23rd Brazilian school of probability, XXIII EBP, São Paulo, Brazil, July 22–27, 2019. Rio de Janeiro: Sociedade Brasileira de Matemática. Ensaios Mat. 34, 75-186 (2019).
MSC:  92D10 92D15 60J85 60J20
PDF BibTeX XML Cite
\textit{A. Etheridge}, Ensaios Mat. 34, 75--186 (2019; Zbl 1447.92253)
Full Text: Link
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
Operational semantics and program verification using many-sorted hybrid modal logic. (English) Zbl 1435.68199
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 446-476 (2019).
MSC:  68Q60 03B45 68Q55
PDF BibTeX XML Cite
\textit{I. Leuştean} et al., Lect. Notes Comput. Sci. 11714, 446--476 (2019; Zbl 1435.68199)
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