Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman MITL verification under timing uncertainty. (English) Zbl 07643432 Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 136-152 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Selvaratnam} et al., Lect. Notes Comput. Sci. 13465, 136--152 (2022; Zbl 07643432) Full Text: DOI arXiv
De Gaetano, Andrea; Sakulrang, Sasikarn; Borri, Alessandro; Pitocco, Dario; Sungnul, Surattana; Moore, Elvin J. Modeling continuous glucose monitoring with fractional differential equations subject to shocks. (English) Zbl 1467.92054 J. Theor. Biol. 526, Article ID 110776, 14 p. (2021). MSC: 92C32 26A33 PDFBibTeX XMLCite \textit{A. De Gaetano} et al., J. Theor. Biol. 526, Article ID 110776, 14 p. (2021; Zbl 1467.92054) Full Text: DOI
Plasse, Joshua; Hoeltgebaum, Henrique; Adams, Niall M. Streaming changepoint detection for transition matrices. (English) Zbl 1478.62228 Data Min. Knowl. Discov. 35, No. 4, 1287-1316 (2021); correction ibid. 35, No. 4, 1317 (2021). MSC: 62L10 62G10 PDFBibTeX XMLCite \textit{J. Plasse} et al., Data Min. Knowl. Discov. 35, No. 4, 1287--1316 (2021; Zbl 1478.62228) Full Text: DOI
Błasiok, Jarosław Optimal streaming and tracking distinct elements with high probability. (English) Zbl 1484.68337 ACM Trans. Algorithms 16, No. 1, Article No. 3, 28 p. (2020). MSC: 68W27 68W40 PDFBibTeX XMLCite \textit{J. Błasiok}, ACM Trans. Algorithms 16, No. 1, Article No. 3, 28 p. (2020; Zbl 1484.68337) Full Text: DOI arXiv
Walker, Alexander M. Complementary hypotheses in safety surveillance. (English) Zbl 1461.62196 Sequential Anal. 39, No. 3, 417-430 (2020). MSC: 62P10 62L10 62L05 62C25 PDFBibTeX XMLCite \textit{A. M. Walker}, Sequential Anal. 39, No. 3, 417--430 (2020; Zbl 1461.62196) Full Text: DOI
Ho, Le Bin Continuous-monitoring measured signals bounded by past and future conditions in enlarged quantum systems. (English) Zbl 1508.81042 Quantum Inf. Process. 18, No. 7, Paper No. 206, 17 p. (2019). MSC: 81P15 81P45 PDFBibTeX XMLCite \textit{L. B. Ho}, Quantum Inf. Process. 18, No. 7, Paper No. 206, 17 p. (2019; Zbl 1508.81042) Full Text: DOI arXiv
Shauly-Aharonov, Michal; Barenholz-Goultschin, Orit Real-time change-point detection algorithm with an application to glycemic control for diabetic pregnant women. (English) Zbl 1434.62230 Methodol. Comput. Appl. Probab. 21, No. 3, 931-944 (2019). MSC: 62P10 62G10 62L10 PDFBibTeX XMLCite \textit{M. Shauly-Aharonov} and \textit{O. Barenholz-Goultschin}, Methodol. Comput. Appl. Probab. 21, No. 3, 931--944 (2019; Zbl 1434.62230) Full Text: DOI
Ha, Jung-Su; Choi, Han-Lim On periodic optimal solutions of persistent sensor planning for continuous-time linear systems. (English) Zbl 1406.93064 Automatica 99, 138-148 (2019). MSC: 93B07 49N90 93C05 93C41 93B05 93E11 93C15 PDFBibTeX XMLCite \textit{J.-S. Ha} and \textit{H.-L. Choi}, Automatica 99, 138--148 (2019; Zbl 1406.93064) Full Text: DOI
Rahmati, Zahed; Abam, Mohammad Ali; King, Valerie; Whitesides, Sue Kinetic \(k\)-semi-Yao graph and its applications. (English) Zbl 1506.68018 Comput. Geom. 77, 10-26 (2019). MSC: 68P05 68U05 PDFBibTeX XMLCite \textit{Z. Rahmati} et al., Comput. Geom. 77, 10--26 (2019; Zbl 1506.68018) Full Text: DOI arXiv
Zhou, Liangdong; Harrach, Bastian; Seo, Jin Keun Monotonicity-based electrical impedance tomography for lung imaging. (English) Zbl 1391.92022 Inverse Probl. 34, No. 4, Article ID 045005, 25 p. (2018). MSC: 92C55 35A16 PDFBibTeX XMLCite \textit{L. Zhou} et al., Inverse Probl. 34, No. 4, Article ID 045005, 25 p. (2018; Zbl 1391.92022) Full Text: DOI arXiv
Blasiok, Jaroslaw; Ding, Jian; Nelson, Jelani Continuous monitoring of \(\ell_p\) norms in data streams. (English) Zbl 1467.68220 Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 20th international workshop, APPROX 2017 and 21st international workshop, RANDOM 2017, Berkeley, CA, USA, August 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 81, Article 32, 13 p. (2017). MSC: 68W27 68P05 68W20 PDFBibTeX XMLCite \textit{J. Blasiok} et al., LIPIcs -- Leibniz Int. Proc. Inform. 81, Article 32, 13 p. (2017; Zbl 1467.68220) Full Text: DOI arXiv
Prosperi, G. M. Introduction of a classical level in quantum theory. Continuous monitoring. (English) Zbl 1390.81055 Found. Phys. 46, No. 11, 1426-1460 (2016). Reviewer: Nicola Cufaro Petroni (Bari) MSC: 81P15 81P05 81T99 76F30 PDFBibTeX XMLCite \textit{G. M. Prosperi}, Found. Phys. 46, No. 11, 1426--1460 (2016; Zbl 1390.81055) Full Text: DOI
Chammas, Antoine; Traore, Moussa; Duviella, Eric; Sayed-Mouchaweh, Moamar; Lecoeuche, Stéphane Drift detection and characterization for condition monitoring: application to dynamical systems with unknown failure modes. (English) Zbl 1433.90052 IMA J. Manag. Math. 26, No. 2, 225-243 (2015). MSC: 90B25 60J28 37N40 PDFBibTeX XMLCite \textit{A. Chammas} et al., IMA J. Manag. Math. 26, No. 2, 225--243 (2015; Zbl 1433.90052) Full Text: DOI
Rahmati, Zahed; King, Valerie; Whitesides, Sue Kinetic reverse \(k\)-nearest neighbor problem. (English) Zbl 1401.68352 Kratochvíl, Jan (ed.) et al., Combinatorial algorithms. 25th international workshop, IWOCA 2014, Duluth, MN, USA, October 15–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-19314-4/pbk; 978-3-319-19315-1/ebook). Lecture Notes in Computer Science 8986, 307-317 (2015). MSC: 68U05 68U10 68W05 PDFBibTeX XMLCite \textit{Z. Rahmati} et al., Lect. Notes Comput. Sci. 8986, 307--317 (2015; Zbl 1401.68352) Full Text: DOI arXiv
Fernández Anta, Antonio; Kowalski, Dariusz R.; Mosteiro, Miguel A.; Wong, Prudence W. H. Station assignment with applications to sensing. (English) Zbl 1397.90233 Flocchini, Paola (ed.) et al., Algorithms for sensor systems. 9th international symposium on algorithms and experiments for sensor systems, wireless networks and distributed robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-45345-8/pbk; 978-3-642-45346-5/ebook). Lecture Notes in Computer Science 8243, 155-169 (2014). MSC: 90B80 90B18 90B35 PDFBibTeX XMLCite \textit{A. Fernández Anta} et al., Lect. Notes Comput. Sci. 8243, 155--169 (2014; Zbl 1397.90233) Full Text: DOI
Giatrakos, Nikos; Deligiannakis, Antonios; Garofalakis, Minos; Sharfman, Izchak; Schuster, Assaf Distributed geometric query monitoring using prediction models. (English) Zbl 1333.68099 ACM Trans. Database Syst. 39, No. 2, Article No. 16, 42 p. (2014). MSC: 68P20 68P15 68U05 68U35 PDFBibTeX XMLCite \textit{N. Giatrakos} et al., ACM Trans. Database Syst. 39, No. 2, Article No. 16, 42 p. (2014; Zbl 1333.68099) Full Text: DOI
Adekpedjou, Akim; Quiton, Jonathan; Wen, Xuerong Meggie Semiparametric inference with correlated recurrence time data. (English) Zbl 1366.62077 Stat. Methodol. 10, 1-13 (2013). MSC: 62G07 62G05 62N05 60G44 60K10 62N01 62P10 PDFBibTeX XMLCite \textit{A. Adekpedjou} et al., Stat. Methodol. 10, 1--13 (2013; Zbl 1366.62077) Full Text: DOI
Lee, Jung Ho Determination of optimal water quality monitoring points in sewer systems using entropy theory. (English) Zbl 1338.90226 Entropy 15, No. 9, 3419-3434 (2013). MSC: 90B85 94A17 PDFBibTeX XMLCite \textit{J. H. Lee}, Entropy 15, No. 9, 3419--3434 (2013; Zbl 1338.90226) Full Text: DOI
Ubertini, Filippo On damage detection by continuous dynamic monitoring in wind-excited suspension bridges. (English) Zbl 1293.74206 Meccanica 48, No. 5, 1031-1051 (2013). MSC: 74H45 74R05 PDFBibTeX XMLCite \textit{F. Ubertini}, Meccanica 48, No. 5, 1031--1051 (2013; Zbl 1293.74206) Full Text: DOI
Àlvarez, C.; Díaz, J.; Mitsche, D.; Serna, M. Continuous monitoring in the dynamic sensor field model. (English) Zbl 1253.68027 Theor. Comput. Sci. 463, 114-122 (2012). MSC: 68M10 68Q05 68Q87 PDFBibTeX XMLCite \textit{C. Àlvarez} et al., Theor. Comput. Sci. 463, 114--122 (2012; Zbl 1253.68027) Full Text: DOI
Fudenberg, Drew; Olszewski, Wojciech Repeated games with asynchronous monitoring of an imperfect signal. (English) Zbl 1236.91026 Games Econ. Behav. 72, No. 1, 86-99 (2011). MSC: 91A20 91A28 PDFBibTeX XMLCite \textit{D. Fudenberg} and \textit{W. Olszewski}, Games Econ. Behav. 72, No. 1, 86--99 (2011; Zbl 1236.91026) Full Text: DOI
Sarkar, Jyotirmoy; Biswas, Atanu Availability of a one-unit system supported by several spares and repair facilities. (English) Zbl 1294.90023 J. Korean Stat. Soc. 39, No. 2, 165-176 (2010). MSC: 90B25 62N05 PDFBibTeX XMLCite \textit{J. Sarkar} and \textit{A. Biswas}, J. Korean Stat. Soc. 39, No. 2, 165--176 (2010; Zbl 1294.90023) Full Text: DOI
Bieth, Bruno; Hong, Liang; Sarkar, Jyotirmoy A standby system with two types of repair persons. (English) Zbl 1226.90029 Appl. Stoch. Models Bus. Ind. 26, No. 5, 577-594 (2010). MSC: 90B25 PDFBibTeX XMLCite \textit{B. Bieth} et al., Appl. Stoch. Models Bus. Ind. 26, No. 5, 577--594 (2010; Zbl 1226.90029) Full Text: DOI
Buryak, Yu. I. Continuous performance monitoring of industrial products as a key to their safe delivery and operation. (English. Russian original) Zbl 1218.93065 Autom. Remote Control 71, No. 10, 2186-2194 (2010); translation from Avtom. Prom. 2009, No. 12, 7-11 (2009). MSC: 93C95 PDFBibTeX XMLCite \textit{Yu. I. Buryak}, Autom. Remote Control 71, No. 10, 2186--2194 (2010; Zbl 1218.93065); translation from Avtom. Prom. 2009, No. 12, 7--11 (2009) Full Text: DOI
Jeffers, John Strong causality from weak via continuous monitoring. (English) Zbl 1229.81023 Phys. Lett., A 373, No. 22, 1911-1915 (2009). MSC: 81P15 PDFBibTeX XMLCite \textit{J. Jeffers}, Phys. Lett., A 373, No. 22, 1911--1915 (2009; Zbl 1229.81023) Full Text: DOI arXiv
Lindset, Snorre; Persson, Svein-Arne Continuous monitoring: does credit risk vanish? (English) Zbl 1179.91249 Astin Bull. 39, No. 2, 577-589 (2009). MSC: 91G40 91B30 91G80 PDFBibTeX XMLCite \textit{S. Lindset} and \textit{S.-A. Persson}, ASTIN Bull. 39, No. 2, 577--589 (2009; Zbl 1179.91249) Full Text: DOI
Fudenberg, Drew; Levine, David K. Continuous time limits of repeated games with imperfect public monitoring. (English) Zbl 1178.91024 Fudenberg, Drew (ed.) et al., A long-run collaboration on long-run games. Hackensack, NJ: World Scientific (ISBN 978-981-281-846-1/hbk). 369-388 (2009). MSC: 91A20 91A10 PDFBibTeX XMLCite \textit{D. Fudenberg} and \textit{D. K. Levine}, in: A long-run collaboration on long-run games. Hackensack, NJ: World Scientific. 369--388 (2009; Zbl 1178.91024)
Ramírez, María Eva; Berrocoso, Manuel; González, María José; Fernández, Alberto Crustal deformation models and time-frequency analysis of GPS data from Deception Island volcano (South Shetland Islands, Antarctica). (English) Zbl 1149.86316 Donner, Reik V. (ed.) et al., Nonlinear time series analysis in the geosciences. Applications in climatology, geodynamics and solar-terrestrial physics. Selected papers based on the presentations at the session on ‘Application of nonlinear times series analysis in geoscience’, Vienna, Austria, April 15–20, 2007. Berlin: Springer (ISBN 978-3-540-78937-6/hbk). Lecture Notes in Earth Sciences 112, 245-272 (2008). MSC: 86A60 65T60 86A15 PDFBibTeX XMLCite \textit{M. E. Ramírez} et al., Lect. Notes Earth Sci. 112, 245--272 (2008; Zbl 1149.86316) Full Text: DOI
Sarkar, Jyotirmoy; Li, Fang Limiting average availability of a system supported by several spares and several repair facilities. (English) Zbl 1274.90122 Stat. Probab. Lett. 76, No. 18, 1965-1974 (2006). MSC: 90B25 62N05 PDFBibTeX XMLCite \textit{J. Sarkar} and \textit{F. Li}, Stat. Probab. Lett. 76, No. 18, 1965--1974 (2006; Zbl 1274.90122) Full Text: DOI
Brannath, W.; Bauer, P.; Maurer, W.; Posch, M. Sequential tests for noninferiority and superiority. (English) Zbl 1210.62107 Biometrics 59, No. 1, 106-114 (2003). MSC: 62L10 62P10 PDFBibTeX XMLCite \textit{W. Brannath} et al., Biometrics 59, No. 1, 106--114 (2003; Zbl 1210.62107) Full Text: DOI
Biswas, Atanu; Sarkar, Jyotirmoy Availability of a system maintained through several imperfect repairs before a replacement or a perfect repair. (English) Zbl 0968.90030 Stat. Probab. Lett. 50, No. 2, 105-114 (2000). MSC: 90B25 62N05 PDFBibTeX XMLCite \textit{A. Biswas} and \textit{J. Sarkar}, Stat. Probab. Lett. 50, No. 2, 105--114 (2000; Zbl 0968.90030) Full Text: DOI
Perraudin, William R. M.; Sørensen, Bent E. The demand for risky assets: Sample selection and household portfolios. (English) Zbl 0951.62097 J. Econom. 97, No. 1, 117-144 (2000). MSC: 62P20 91B28 62P05 PDFBibTeX XMLCite \textit{W. R. M. Perraudin} and \textit{B. E. Sørensen}, J. Econom. 97, No. 1, 117--144 (2000; Zbl 0951.62097) Full Text: DOI
Sarkar, Jyotirmoy; Chaudhuri, Gopal Availability of a system with gamma life and exponential repair time under a perfect repair policy. (English) Zbl 0954.90015 Stat. Probab. Lett. 43, No. 2, 189-196 (1999). MSC: 90B25 62N05 PDFBibTeX XMLCite \textit{J. Sarkar} and \textit{G. Chaudhuri}, Stat. Probab. Lett. 43, No. 2, 189--196 (1999; Zbl 0954.90015) Full Text: DOI
Ferrer, A. J.; Capilla, C.; Romero, R.; Martin, J. Developing optimal regulation and monitoring strategies to control a continuous petrochemical process. (English) Zbl 0910.90138 Abraham, Bovas (ed.), Quality improvement through statistical methods. International conference, Cochin, India, December 28–31, 1996. Boston: Birkhäuser. Statistics for Industry and Technology. 61-77 (1998). MSC: 90B25 PDFBibTeX XMLCite \textit{A. J. Ferrer} et al., in: Quality improvement through statistical methods. International conference, Cochin, India, December 28--31, 1996. Boston: Birkhäuser. 61--77 (1998; Zbl 0910.90138)
Dewanji, Anup Some issues related to estimation of component life time distributions in a coherent system. (English) Zbl 0908.62098 Bull., Calcutta Stat. Assoc. 47, No. 185-186, 91-105 (1997). MSC: 62N05 62P10 PDFBibTeX XMLCite \textit{A. Dewanji}, Bull., Calcutta Stat. Assoc. 47, No. 185--186, 91--105 (1997; Zbl 0908.62098) Full Text: DOI
Deshpande, J. V.; Karia, S. R. Bounds for the joint survival and incidence functions through coherent system data. (English) Zbl 0915.62081 Adv. Appl. Probab. 29, No. 2, 478-497 (1997). MSC: 62N05 90B25 60E99 PDFBibTeX XMLCite \textit{J. V. Deshpande} and \textit{S. R. Karia}, Adv. Appl. Probab. 29, No. 2, 478--497 (1997; Zbl 0915.62081) Full Text: DOI
Hjort, Nils Lid; Omre, Henning Topics in spatial statistics. (With discussions). (English) Zbl 0816.62075 Scand. J. Stat. 21, No. 4, 289-357 (1994). MSC: 62M30 62Pxx PDFBibTeX XMLCite \textit{N. L. Hjort} and \textit{H. Omre}, Scand. J. Stat. 21, No. 4, 289--357 (1994; Zbl 0816.62075)
von Collani, Elart; Treml, Josef Control of a two-dimensional process-quality-indicator by means of a screening procedure. (English) Zbl 0804.62089 Econ. Qual. Control 8, No. 3, 167-194 (1993). MSC: 62P30 62Q05 PDFBibTeX XMLCite \textit{E. von Collani} and \textit{J. Treml}, Econ. Qual. Control 8, No. 3, 167--194 (1993; Zbl 0804.62089)
Gallanti, Massimo; Roncato, Marco; Stefanini, Alberto; Tornielli, Giorgio A diagnostic algorithm based on models at different level of abstraction. (English) Zbl 0718.68079 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 1350-1355 (1989). Reviewer: N.Curteanu (Iaşi) MSC: 68T20 68T30 PDFBibTeX XML
Park, Changsoon; Reynolds, Marion R. jun. Nonparametric procedures for monitoring a location parameter based on linear placement statistics. (English) Zbl 0638.62099 Sequential Anal. 6, 303-323 (1987). Reviewer: E.von Collani MSC: 62P30 62G99 62L15 PDFBibTeX XMLCite \textit{C. Park} and \textit{M. R. Reynolds jun.}, Sequential Anal. 6, 303--323 (1987; Zbl 0638.62099) Full Text: DOI
Lee, Hau L.; Moinzadeh, Kamran; Tagaras, George A model for continuous production control with warning signals to fault occurrences. (English) Zbl 0588.90037 J. Oper. Res. Soc. 37, 515-523 (1986). MSC: 90B30 90B25 PDFBibTeX XMLCite \textit{H. L. Lee} et al., J. Oper. Res. Soc. 37, 515--523 (1986; Zbl 0588.90037) Full Text: DOI
Kawashima, Konosuke Queueing analysis for input regulation method employing periodic monitoring and control. (English) Zbl 0582.90036 Eur. J. Oper. Res. 23, 100-107 (1986). MSC: 90B22 60K25 PDFBibTeX XMLCite \textit{K. Kawashima}, Eur. J. Oper. Res. 23, 100--107 (1986; Zbl 0582.90036) Full Text: DOI
Gail, Mitchell Nonparametric frequentist proposals for monitoring comparative survival studies. (English) Zbl 0597.62109 Nonparametric methods, Handb. Stat. 4, 791-811 (1984). MSC: 62P10 62L05 62G10 PDFBibTeX XML
Ohashi, Mamoru Group replacement policy for a maintained coherent system. (English) Zbl 0491.90045 J. Oper. Res. Soc. Japan 25, 228-237 (1982). MSC: 90B25 PDFBibTeX XMLCite \textit{M. Ohashi}, J. Oper. Res. Soc. Japan 25, 228--237 (1982; Zbl 0491.90045) Full Text: DOI
Mamazhonov, M. M. Determination of the optimal plan of continuous reception monitoring. (English. Russian original) Zbl 0512.90051 Eng. Cybern. 19, No. 3, 105-109 (1981); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1981, No. 3, 115-120 (1981). MSC: 90B25 PDFBibTeX XMLCite \textit{M. M. Mamazhonov}, Eng. Cybern. 19, No. 3, 105--109 (1981; Zbl 0512.90051); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1981, No. 3, 115--120 (1981)
Kornoushenko, E. K. Monitoring the behavior of semigroup systems. (English. Russian original) Zbl 0464.68053 Cybernetics 17, 20-28 (1981); translation from Kibernetika 1981, No. 1, 19-26 (1981). MSC: 68Q70 93A10 20M35 PDFBibTeX XMLCite \textit{E. K. Kornoushenko}, Cybernetics 17, 20--28 (1981; Zbl 0464.68053); translation from Kibernetika 1981, No. 1, 19--26 (1981) Full Text: DOI