×

zbMATH — the first resource for mathematics

Found 308 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Hajnal, Matej; Pastva, Samuel
Toward model selection by formal methods. (English) Zbl 07313957
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, 57-71 (2020).
MSC:  92C42
PDF BibTeX XML Cite
\textit{M. Hajnal} and \textit{S. Pastva}, Electron. Notes Theor. Comput. Sci. 350, 57--71 (2020; Zbl 07313957)
Full Text: DOI
André, Étienne; Jerray, Jawher; Mhiri, Sahar
Time4sys2imi: a tool to formalize real-time system models under uncertainty. (English) Zbl 07142672
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{É. André} et al., Lect. Notes Comput. Sci. 11884, 113--123 (2019; Zbl 07142672)
Full Text: DOI
Al Khatib, Mohammad; Zamani, Majid
Verification and synthesis of interconnected embedded control systems under timing contracts. (English) Zbl 07120156
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). 208-217 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Al Khatib} and \textit{M. Zamani}, 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). 208--217 (2019; Zbl 07120156)
Full Text: DOI
Bortolussi, Luca; Silvetti, Simone
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. (English) Zbl 1423.68322
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 396-413 (2018).
MSC:  68Q87 68Q60 68T05
PDF BibTeX XML Cite
\textit{L. Bortolussi} and \textit{S. Silvetti}, Lect. Notes Comput. Sci. 10806, 396--413 (2018; Zbl 1423.68322)
Full Text: DOI
Zubov, N. E.; Li, M. V.; Mikrin, E. A.; Ryabchenko, V. N.
Terminal synthesis of orbital orientation for a spacecraft. (English. Russian original) Zbl 1385.93034
J. Comput. Syst. Sci. Int. 56, No. 4, 721-737 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 4, 154-173 (2017).
MSC:  93B50 93C95 70P05 93C15 93C55 93B30
PDF BibTeX XML Cite
\textit{N. E. Zubov} et al., J. Comput. Syst. Sci. Int. 56, No. 4, 721--737 (2017; Zbl 1385.93034); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 4, 154--173 (2017)
Full Text: DOI
Andreichenko, D. K.; Andreichenko, K. P.; Kononov, V. V.
A parallel algorithm for the parametric synthesis of a system for the angular stabilization of a rotating elastic beam under the action of longitudinal acceleration. (English. Russian original) Zbl 1384.93115
J. Comput. Syst. Sci. Int. 56, No. 2, 192-207 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 22-37 (2017).
MSC:  93D15 93C15 93B18 74K10
PDF BibTeX XML Cite
\textit{D. K. Andreichenko} et al., J. Comput. Syst. Sci. Int. 56, No. 2, 192--207 (2017; Zbl 1384.93115); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 22--37 (2017)
Full Text: DOI
Aida-zade, K. R.; Abdullayev, V. M.
Optimizing placement of the control points at synthesis of the heating process control. (English. Russian original) Zbl 1386.93123
Autom. Remote Control 78, No. 9, 1585-1599 (2017); translation from Avtom. Telemekh. 2017, No. 9, 49-66 (2017).
MSC:  93B50 35K05 93C20 93C05
PDF BibTeX XML Cite
\textit{K. R. Aida-zade} and \textit{V. M. Abdullayev}, Autom. Remote Control 78, No. 9, 1585--1599 (2017; Zbl 1386.93123); translation from Avtom. Telemekh. 2017, No. 9, 49--66 (2017)
Full Text: DOI
Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T.
Abnormal data classification using time-frequency temporal logic. (English) Zbl 1366.94120
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). 237-242 (2017).
MSC:  94A12 68T05
PDF BibTeX XML Cite
\textit{L. V. Nguyen} 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). 237--242 (2017; Zbl 1366.94120)
Full Text: DOI
Dreossi, Tommaso
Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. (English) Zbl 1369.68257
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). 29-34 (2017).
MSC:  68Q60 93B03 93B50 93C30
PDF BibTeX XML Cite
\textit{T. Dreossi}, 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). 29--34 (2017; Zbl 1369.68257)
Full Text: DOI
Katoen, Joost-Pieter
The probabilistic model checking landscape. (English) Zbl 1401.68201
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 31-45 (2016).
MSC:  68Q60 68Q87
PDF BibTeX XML Cite
\textit{J.-P. Katoen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 31--45 (2016; Zbl 1401.68201)
Full Text: DOI
Wei, Guoliang; Wang, Zidong; Qian, Wei
Nonlinear stochastic control and filtering with engineering-oriented complexities. (English) Zbl 1369.93001
Engineering Systems and Sustainability Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-6074-4/hbk; 978-1-4987-6075-1/ebook). xxii, 250 p. (2016).
Reviewer: Mikhail P. Moklyachuk (Kyïv)
MSC:  93-02 93E03 93C10 93C95 93D05 93B05 93B36 93E11 93E15 62M20 60J20 93D09
PDF BibTeX XML Cite
\textit{G. Wei} et al., Nonlinear stochastic control and filtering with engineering-oriented complexities. Boca Raton, FL: CRC Press (2016; Zbl 1369.93001)
Full Text: Link
Tati, Bharath Siva Kumar; Siegle, Markus
Parameter and controller synthesis for Markov chains with actions and state labels. (English) Zbl 1429.68142
André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 63-76 (2015).
MSC:  68Q60 60J20 68Q87
PDF BibTeX XML Cite
\textit{B. S. K. Tati} and \textit{M. Siegle}, OASIcs -- OpenAccess Ser. Inform. 44, 63--76 (2015; Zbl 1429.68142)
Full Text: DOI
Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. (English) Zbl 1412.92150
Abate, Alessandro (ed.) et al., Hybrid systems biology. Fourth international workshop, HSB 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9271, 119-140 (2015).
MSC:  92C50 92C42 92-08
PDF BibTeX XML Cite
\textit{M. Kwiatkowska} et al., Lect. Notes Comput. Sci. 9271, 119--140 (2015; Zbl 1412.92150)
Full Text: DOI
Haghighi, Iman; Jones, Austin; Kong, Zhaodan; Bartocci, Ezio; Gros, Radu; Belta, Calin
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. (English) Zbl 1366.68170
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 189-198 (2015).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
\textit{I. Haghighi} et al., in: Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14--16, 2015. New York, NY: Association for Computing Machinery (ACM). 189--198 (2015; Zbl 1366.68170)
Full Text: DOI
Dalchau, Neil; Murphy, Niall; Petersen, Rasmus; Yordanov, Boyan
Synthesizing and tuning chemical reaction networks with specified behaviours. (English) Zbl 1403.92356
Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDF BibTeX XML Cite
\textit{N. Dalchau} et al., Lect. Notes Comput. Sci. 9211, 16--33 (2015; Zbl 1403.92356)
Full Text: DOI
Dreossi, Tommaso; Dang, Thao
Parameter synthesis for polynomial biological models. (English) Zbl 1362.92023
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 233-242 (2014).
MSC:  92C42 92D30 93A30
PDF BibTeX XML Cite
\textit{T. Dreossi} and \textit{T. Dang}, in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 233--242 (2014; Zbl 1362.92023)
Full Text: DOI
André, Étienne; Fribourg, Laurent; Soulat, Romain
Merge and conquer: state merging in parametric timed automata. (English) Zbl 1410.68194
Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 381-396 (2013).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
\textit{É. André} et al., Lect. Notes Comput. Sci. 8172, 381--396 (2013; Zbl 1410.68194)
Full Text: DOI
André, Étienne; Pellegrino, Giuseppe; Petrucci, Laure
Precise robustness analysis of time Petri nets with inhibitor ARCS. (English) Zbl 1390.68455
Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 1-15 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{É. André} et al., Lect. Notes Comput. Sci. 8053, 1--15 (2013; Zbl 1390.68455)
Full Text: DOI
Zečević, Aleksandar I.; Šiljak, Dragoslav D.
Control of complex systems. Structural constraints and uncertainty. (English) Zbl 1211.93003
Communications and Control Engineering. Berlin: Springer (ISBN 978-1-4419-1215-2/hbk; 978-1-4419-1216-9/ebook). xiii, 221 p. (2010).
Reviewer: Lubomír Bakule (Praha)
MSC:  93-02 93A14 93A15 93B50 93C05 93C10 93D15
PDF BibTeX XML Cite
\textit{A. I. Zečević} and \textit{D. D. Šiljak}, Control of complex systems. Structural constraints and uncertainty. Berlin: Springer (2010; Zbl 1211.93003)
Full Text: DOI
Podlevs’kyi, B. M.
On one approach to finding the branching lines and bifurcation points of solutions of nonlinear integral equations whose kernels depend analytically on two spectral parameters. (Ukrainian, English) Zbl 1212.65521
Mat. Metody Fiz.-Mekh. Polya 52, No. 3, 15-29 (2009); translation in J. Math. Sci., New York 171, No. 4, 433-452 (2010).
Reviewer: V. V. Vlasov (Moskva)
MSC:  65R20 45G10 45C05 78A50 47J15 47J10
PDF BibTeX XML Cite
\textit{B. M. Podlevs'kyi}, Mat. Metody Fiz.-Mekh. Polya 52, No. 3, 15--29 (2009; Zbl 1212.65521); translation in J. Math. Sci., New York 171, No. 4, 433--452 (2010)
Full Text: DOI
Yasinskii, V. K.; Yasinskaya, L. I.; Antonyuk, S. V.
Approximate synthesis of optimal control over quasilinear stochastic differential equations with a small parameter and Poisson perturbations. (English. Russian original) Zbl 1144.93032
Cybern. Syst. Anal. 44, No. 3, 341-347 (2008); translation from Kibern. Sist. Anal. 2008, No. 3, 39-45 (2008).
MSC:  93E20 93C73
PDF BibTeX XML Cite
\textit{V. K. Yasinskii} et al., Cybern. Syst. Anal. 44, No. 3, 341--347 (2008; Zbl 1144.93032); translation from Kibern. Sist. Anal. 2008, No. 3, 39--45 (2008)
Full Text: DOI
Yasinskii, V. K.; Antonyuk, S. V.
Synthesis of optimal control of dynamic systems with infinite aftereffect, a small parameter, and Poisson perturbations. (English. Russian original) Zbl 1169.93027
Cybern. Syst. Anal. 43, No. 3, 466-470 (2007); translation from Kibern. Sist. Anal. 43, No. 3, 181-186 (2007).
Reviewer: Vladimir Sobolev (Samara)
MSC:  93E20 93C73
PDF BibTeX XML Cite
\textit{V. K. Yasinskii} and \textit{S. V. Antonyuk}, Cybern. Syst. Anal. 43, No. 3, 466--470 (2007; Zbl 1169.93027); translation from Kibern. Sist. Anal. 43, No. 3, 181--186 (2007)
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
Software