Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Alessandro Abate

    1. Department of Computer Science, University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gilles Geeraerts

    1. Dept. d’Informatique, Université Libre de Bruxelles, Brussels, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10419)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FORMATS 2017.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Euler’s Method Applied to the Control of Switched Systems

      • Laurent Fribourg
      Pages 3-21

  3. Timed Models

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. On the Determinization of Timed Systems

      • Patricia Bouyer, Samy Jaziri, Nicolas Markey
      Pages 25-41

    3. On Global Scheduling Independency in Networks of Timed Automata

      • Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
      Pages 42-57

    4. Optimal Reachability in Cost Time Petri Nets

      • Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
      Pages 58-73

  4. Hybrid Systems

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Optimal Control for Multi-mode Systems with Discrete Costs

      • Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
      Pages 77-96

    3. Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems

      • Arvind Adimoolam, Thao Dang
      Pages 97-115

    4. Conic Abstractions for Hybrid Systems

      • Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
      Pages 116-132

    5. Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata

      • Stanley Bak, Sergiy Bogomolov, Matthias Althoff
      Pages 133-150

  5. Probabilistic Models

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Symbolic Dependency Graphs for \(\text {PCTL}^{>}_{\le }\) Model-Checking

      • Anders Mariegaard, Kim Guldstrand Larsen
      Pages 153-169

    3. Distribution-Based Bisimulation for Labelled Markov Processes

      • Pengfei Yang, David N. Jansen, Lijun Zhang
      Pages 170-186

  6. Quantitative Logics and Monitoring

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals

      • Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
      Pages 189-206

    3. Combining the Temporal and Epistemic Dimensions for MTL Monitoring

      • Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
      Pages 207-223

    4. Efficient Online Timed Pattern Matching by Automata-Based Skipping

      • Masaki Waga, Ichiro Hasuo, Kohei Suenaga
      Pages 224-243

  7. Reachability Analysis

    1. Front Matter

      Pages 245-245
      Download chapter PDF
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​ 

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.








Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, United Kingdom

    Alessandro Abate

  • Dept. d’Informatique, Université Libre de Bruxelles, Brussels, Belgium

    Gilles Geeraerts

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation