Skip to main content
SpringerLink
Log in

Statistische Parametersynthese für hybride Systeme

  • Conference paper
Book cover Funktionale Sicherheit

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

Dieser Artikel behandelt das Parametersynthese-Problem für hybride Systeme. Für ein parametrisiertes Modell und eine Sicherheitsbedingung wird eine sichere Teilmenge einer potentiell unsicheren Parametermenge gesucht. Im Gegensatz zu bestehenden symbolischen Ansätzen, werden dabei statistische Methoden eingesetzt. Dadurch können Unsicherheiten im Modell probabilistisch dargestellt werden und Systeme mit beliebiger Dynamik analysiert werden. Die vorgeschlagene Methode wurde prototypisch implementiert und anhand einer Echtzeitanwendung evaluiert.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Literaturverzeichnis

  1. Étienne André, Thomas Chatain, Laurent Fribourg und Emmanuelle Encrenaz. An inverse method for parametric timed automata. International Journal of Foundations of Computer Science, 20(05):819–836, 2009.

    Article  MATH  MathSciNet  Google Scholar 

  2. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson und Wang Yi. UPPAAL – a tool suite for automatic verification of real-time systems. In Hybrid Systems III, LNCS 1066, Seiten 232–243. Springer, 1996.

    Google Scholar 

  3. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu und Helmut Veith. Counterexample-Guided Abstraction Refinement. In CAV 2000, LNCS 1855, Seiten 154–169. Springer, 2000.

    Google Scholar 

  4. Edmund M Clarke, Orna Grumberg und Doron A Peled. Model checking. MIT press, 1999.

    Google Scholar 

  5. Alexandre Donzé, 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–179. Springer, 2009.

    Google Scholar 

  6. 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–200. Springer, 2008.

    Google Scholar 

  7. Thomas A. Henzinger. The Theory of Hybrid Automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, Seiten 278–292. IEEE Computer Society Press, 1996.

    Google Scholar 

  8. 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–42, 2012.

    Google Scholar 

  9. Thomas A. Henzinger, Peter W. Kopke, Anuj Puri und Pravin Varaiya. What’s decidable about hybrid automata? In STOC ’95, Seiten 373–382. ACM, 1995.

    Google Scholar 

  10. 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–282. Springer, 1996.

    Google Scholar 

  11. Marta Kwiatkowska, Gethin Norman und David Parker. PRISM: Probabilistic Symbolic Model Checker. In Computer Performance Evaluation: Modelling Techniques and Tools, LNCS 2324, Seiten 200–204. Springer, 2002.

    Google Scholar 

  12. Axel Legay, Benoît Delahaye und Saddek Bensalem. Statistical Model Checking: An Overview. In Runtime Verification, LNCS 6418, Seiten 122–135. Springer, 2010.

    Google Scholar 

  13. Christian Schwarz. Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata. In Informatik 2011, number P –192 in LNI, Seite 328. Gesellschaft für Informatik, 2011.

    Google Scholar 

  14. Håkan L.S. Younes und Reid G. Simmons. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In Computer Aided Verification, LNCS 2404, Seiten 223–235. Springer, 2002.

    Google Scholar 

  15. Dieter Zöbel. Canonical Approach to Derive and Enforce Real-Time Conditions. In 1st International ECRTS Workshop on Real-Time and Control, Palma de Mallorca, 2005. Euromicro.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Koblenz-Landau, Koblenz-Landau

    Christian Schwarz

Authors
  1. Christian Schwarz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Informationstechnik, insb. Realzeitsysteme, Fernuniversität in Hagen, 58084, Hagen

    Wolfgang A. Halang

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwarz, C. (2013). Statistische Parametersynthese für hybride Systeme. In: Halang, W. (eds) Funktionale Sicherheit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41309-4_10

Download citation

Publish with us

Policies and ethics

Search

Navigation