×

zbMATH — the first resource for mathematics

Found 47 Documents (Results 1–47)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
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
Tran, Hoang-Dung; Nguyen, Luan Viet; Hamilton, Nathaniel; Xiang, Weiming; Johnson, Taylor T.
Reachability analysis for high-index linear differential algebraic equations. (English) Zbl 1441.93021
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 160-177 (2019).
MSC:  93B03 93C15 93C83 93B70
PDF BibTeX XML Cite
\textit{H.-D. Tran} et al., Lect. Notes Comput. Sci. 11750, 160--177 (2019; Zbl 1441.93021)
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
Abbas, Houssam; O’Kelly, Matthew; Mangharam, Rahul
Relaxed decidability and the robust semantics of metric temporal logic. (English) Zbl 1366.68160
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 217-225 (2017).
MSC:  68Q60 03B25 03B44 93C30
PDF BibTeX XML Cite
\textit{H. Abbas} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 217--225 (2017; Zbl 1366.68160)
Full Text: DOI
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
Symbolic-numeric reachability analysis of closed-loop control software. (English) Zbl 1364.93058
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 135-144 (2016).
MSC:  93B03 93B40 93C30 93C10
PDF BibTeX XML Cite
\textit{A. Zutshi} et al., in: Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12--14, 2016. New York, NY: Association for Computing Machinery (ACM). 135--144 (2016; Zbl 1364.93058)
Full Text: DOI
Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren; Rajarajan, Muttukrishnan; Zisman, A.
Comparative analysis of formal model checking tools for security protocol verification. (English) Zbl 1207.68103
Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 152-163 (2010).
MSC:  68M12 68P25
PDF BibTeX XML Cite
\textit{R. Patel} et al., Commun. Comput. Inf. Sci. 89, 152--163 (2010; Zbl 1207.68103)
Full Text: DOI
Charlton, Nathaniel; Huth, Michael
Falsifying safety properties through games on over-approximating models. (English) Zbl 1337.68063
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 71-86 (2008).
MSC:  68N30 91A80
PDF BibTeX XML Cite
\textit{N. Charlton} and \textit{M. Huth}, Electron. Notes Theor. Comput. Sci. 223, 71--86 (2008; Zbl 1337.68063)
Full Text: DOI
Walter, Éric; Pronzato, Luc
Identification of parametric models from experimental data. Transl. from an upd. French version by the authors, with the help of John Norton. (English) Zbl 0864.93014
Communications and Control Engineering Series. Berlin: Springer. xviii, 413 p. (1997).
Reviewer: Yu Wenhuan (Tianjin)
MSC:  93-02 93B30 93E12 93E10
PDF BibTeX XML Cite
\textit{É. Walter} and \textit{L. Pronzato}, Identification of parametric models from experimental data. Transl. from an upd. French version by the authors, with the help of John Norton. Berlin: Springer (1997; Zbl 0864.93014)

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
Software