The Benefits of Sometimes Not Being Discrete

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Discrete representations of systems are usual in theoretical computer science and they have many benefits. Unfortunately they also suffer from the problem of state space explosion, sometimes termed the curse of dimensionality. In recent years, research has shown that there are cases in which we can reap the benefits of discrete representation during system description but then gain from more efficient analysis by approximating the discrete system by a continuous one. This paper will motivate this approach, explaining the theoretical foundations and their practical benefits.
Original languageEnglish
Title of host publicationCONCUR 2014 - Concurrency Theory
Subtitle of host publication25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages16
ISBN (Electronic)978-3-662-44584-6
ISBN (Print)978-3-662-44583-9
Publication statusPublished - 2 Sep 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'The Benefits of Sometimes Not Being Discrete'. Together they form a unique fingerprint.

Cite this