{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:05Z","timestamp":1746115865804,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413087"},{"type":"electronic","value":"9783642413094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41309-4_10","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T15:03:38Z","timestamp":1380639818000},"page":"87-96","source":"Crossref","is-referenced-by-count":0,"title":["Statistische Parametersynthese f\u00fcr hybride Systeme"],"prefix":"10.1007","author":[{"given":"Christian","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"05","key":"10_CR1","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1142\/S0129054109006905","volume":"20","author":"Thomas Chatain \u00c9tienne Andr\u00e9","year":"2009","unstructured":"\u00c9tienne Andr\u00e9, Thomas Chatain, Laurent Fribourg und Emmanuelle Encrenaz. An inverse method for parametric timed automata. International Journal of Foundations of Computer Science, 20(05):819\u2013836, 2009.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson und Wang Yi. UPPAAL \u2013 a tool suite for automatic verification of real-time systems. In Hybrid Systems III, LNCS 1066, Seiten 232\u2013243. Springer, 1996.","DOI":"10.1007\/BFb0020949"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu und Helmut Veith. Counterexample-Guided Abstraction Refinement. In CAV 2000, LNCS 1855, Seiten 154\u2013169. Springer, 2000.","DOI":"10.1007\/10722167_15"},{"key":"10_CR4","unstructured":"Edmund M Clarke, Orna Grumberg und Doron A Peled. Model checking. MIT press, 1999."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Alexandre Donz\u00e9, Bruce Krogh und Akshay Rajhans. Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. In Hybrid Systems: Computation and Control, LNCS 5469, Seiten 165\u2013179. Springer, 2009.","DOI":"10.1007\/978-3-642-00602-9_12"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Goran Frehse, Sumit Kumar Jha und Bruce H. Krogh. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. In HSCC, 11th Int. Workshop, LNCS 4981, Seiten 187\u2013200. Springer, 2008.","DOI":"10.1007\/978-3-540-78929-1_14"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger. The Theory of Hybrid Automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, Seiten 278\u2013292. IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"10_CR8","unstructured":"Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns und Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design, Seiten 1\u201342, 2012."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Peter W. Kopke, Anuj Puri und Pravin Varaiya. What\u2019s decidable about hybrid automata? In STOC \u201995, Seiten 373\u2013382. ACM, 1995.","DOI":"10.1145\/225058.225162"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger und Howard Wong-Toi. Using HyTech to Synthesize Control Parameters for a Steam Boiler. In Formal Methods for Industrial Applications, LNCS 1165, Seiten 265\u2013282. Springer, 1996.","DOI":"10.1007\/BFb0027241"},{"key":"10_CR11","unstructured":"Marta Kwiatkowska, Gethin Norman und David Parker. PRISM: Probabilistic Symbolic Model Checker. In Computer Performance Evaluation: Modelling Techniques and Tools, LNCS 2324, Seiten 200\u2013204. Springer, 2002."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Axel Legay, Beno\u00eet Delahaye und Saddek Bensalem. Statistical Model Checking: An Overview. In Runtime Verification, LNCS 6418, Seiten 122\u2013135. Springer, 2010.","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"10_CR13","unstructured":"Christian Schwarz. Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata. In Informatik 2011, number P \u2013192 in LNI, Seite 328. Gesellschaft f\u00fcr Informatik, 2011."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"H\u00e5kan L.S. Younes und Reid G. Simmons. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In Computer Aided Verification, LNCS 2404, Seiten 223\u2013235. Springer, 2002.","DOI":"10.1007\/3-540-45657-0_17"},{"key":"10_CR15","unstructured":"Dieter Z\u00f6bel. Canonical Approach to Derive and Enforce Real-Time Conditions. In 1st International ECRTS Workshop on Real-Time and Control, Palma de Mallorca, 2005. Euromicro."}],"container-title":["Informatik aktuell","Funktionale Sicherheit"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41309-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:09:24Z","timestamp":1746025764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41309-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413087","9783642413094"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41309-4_10","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2013]]}}}