Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Brossura

Brossura

ISBN 10: 3642333664 ISBN 13: 9783642333668

Casa editrice: Springer, 2012

Riassunto

Invited Talks.- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract).- Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid Systems.-Robustness of Time Petri Nets under Architectural Constraints.- Toward a Timed Theory of Channel Coding.- Playing Optimally on Timed Automata with Random Delays.- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.- Revisiting Timed Specification Theories: A Linear-Time Perspective.- Multi-core Reachability for Timed Automata.- Counterexample-Guided Synthesis of Observation Predicates.- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.- Reducing Quasi-Equal Clocks in Networks of Timed Automata.- SMT-Based Induction Methods for Timed Systems.- Timed Automata with Disjoint Activity.- The Complexity of Bounded Synthesis for Timed Control with Partial Observability.- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.- Frequencies in Forgetful Timed Automata.- Mcta: Heuristics and Search for Timed Systems.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3642333664
• ISBN 13: 9783642333668
• Rilegatura: Copertina flessibile
• Numero di pagine: 280
• Redattore: Jurdzinski Marcin, Nickovic Dejan
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania