{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:09:39Z","timestamp":1743134979702,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_22","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"294-309","source":"Crossref","is-referenced-by-count":7,"title":["Combining Time and Frequency Domain Specifications for Periodic Signals"],"prefix":"10.1007","author":[{"given":"Aleksandar","family":"Chakarov","sequence":"first","affiliation":[]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126(2), 183\u2013235 (1994)","journal-title":"TCS"},{"key":"22_CR2","unstructured":"Alur, R., Kurshan, R.P., Viswanathan, M.: Membership questions for timed and hybrid automata. In: RTSS 1998, pp. 254\u2013264. IEEE (1998)"},{"key":"22_CR3","unstructured":"\u00c5strom, K., Murray, R.M.: Feedback Systems: An Introduction for Engineers and Scientists. Princeton University Press (2005)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Boyd, S., Vandenberghe, S.: Convex Optimization. Cambridge University Press (2004), http:\/\/www.stanford.edu\/~boyd\/cvxbook.html","DOI":"10.1017\/CBO9780511804441"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"42","key":"22_CR6","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"G.E. Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science\u00a0410(42), 4262\u20134291 (2009)","journal-title":"Theoretical Computer Science"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:FORM.0000017718.28096.48","volume":"24","author":"B. Finkbeiner","year":"2004","unstructured":"Finkbeiner, B., Sipma, H.: Checking finite traces using alternating automata. Form. Methods Syst. Des.\u00a024, 101\u2013127 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.entcs.2006.02.019","volume":"153","author":"G. Frehse","year":"2006","unstructured":"Frehse, G., Krogh, B.H., Rutenbar, R.A., Maler, O.: Time domain verification of oscillator circuit properties. Electron. Notes Theor. Comput. Sci.\u00a0153, 9\u201322 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Geilen, M.: On the construction of monitors for temporal logic properties. In: Proceedings of the 1st Workshop on Runtime Verification. ENTCS, vol.\u00a055, pp. 181\u2013199 (2001)","DOI":"10.1016\/S1571-0661(04)00252-X"},{"key":"22_CR10","unstructured":"Havelund, K., Rosu, G.: Monitoring programs using rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (2001)"},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/DATE.1998.655927","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE)","author":"L. Hedrich","year":"1998","unstructured":"Hedrich, L., Barke, E.: A formal approach to verification of linear analog circuits with parameter tolerances. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 649\u2013655. IEEE Computer Society, Washington, DC (1998)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278\u2013292. IEEE (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Kristoffersen, K.J., Pedersen, C., Andersen, H.R.: Runtime verification of timed LTL using disjunctive normalized equation systems. In: Proceedings of the 3rd Workshop on Run-time Verification. ENTCS, vol.\u00a089, pp. 1\u201316 (2003)","DOI":"10.1016\/S1571-0661(04)81050-8"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s101070050099","volume":"86","author":"L. Lovasz","year":"1999","unstructured":"Lovasz, L.: Hit-and-run is fast and run. Mathematical Programming\u00a086, 443\u2013461 (1999)","journal-title":"Mathematical Programming"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring Temporal Properties of Continuous Signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer, Heidelberg (2004)"},{"key":"22_CR16","unstructured":"Millman, J., Halkias, C.C.: Electronic Devices and Circuits. McGraw-Hill Inc. (1967)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1007\/978-3-642-02658-4_42","volume-title":"Computer Aided Verification","author":"D. Monniaux","year":"2009","unstructured":"Monniaux, D.: On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 570\u2013583. Springer, Heidelberg (2009)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Nghiem, T., Sankaranarayanan, S., Fainekos, G.E., Ivancic, F., Gupta, A., Pappas, G.J.: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 211\u2013220 (2010)","DOI":"10.1145\/1755952.1755983"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-540-75454-1_22","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D. Nickovic","year":"2007","unstructured":"Nickovic, D., Maler, O.: AMT: A Property-Based Monitoring Tool for Analog Systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 304\u2013319. Springer, Heidelberg (2007)"},{"key":"22_CR20","unstructured":"Oppenheim, A.V., Schafer, R.W.: Digital Signal Processing. Prentice Hall (1975)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Rubinstein, R.Y., Kroese, D.P.: Simulation and the Monte Carlo Method. Wiley Series in Probability and Mathematical Statistics (2008)","DOI":"10.1002\/9780470230381"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Smith, R.L.: The hit-and-run sampler: a globally reaching markov chain sampler for generating arbitrary multivariate distributions. In: Proceedings of the 28th Conference on Winter Simulation, pp. 260\u2013264. IEEE Computer Society (1996)","DOI":"10.1145\/256562.256619"},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/1403375.1403453","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2008","author":"S. Steinhorst","year":"2008","unstructured":"Steinhorst, S., Hedrich, L.: Model checking of analog systems using an analog specification language. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2008, pp. 324\u2013329. ACM, New York (2008)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Tan, L., Kim, J., Lee, I.: Testing and monitoring model-based generated program. In: Proceedings of the 3rd Workshop on Run-time Verification. ENTCS, vol.\u00a089, pp. 1\u201321 (2003)","DOI":"10.1016\/S1571-0661(04)81046-6"},{"key":"22_CR25","unstructured":"Tan, L., Kim, J., Sokolsky, O., Lee, I.: Model-based testing and monitoring for hybrid embedded systems. In: Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, pp. 487\u2013492 (2004)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Thati, P., Rosu, G.: Monitoring algorithms for metric temporal logic specifications. In: Runtime Verification. ENTCS, vol.\u00a0113, pp. 145\u2013162. Elsevier (2005)","DOI":"10.1016\/j.entcs.2004.01.029"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:46:10Z","timestamp":1743108370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}