Edinburgh Research Explorer

The Benefits of Sometimes Not Being Discrete

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-662-44584-6_2
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
Pages7-22
Number of pages16
Volume8704
ISBN (Electronic)978-3-662-44584-6
ISBN (Print)978-3-662-44583-9
DOIs
Publication statusPublished - 2 Sep 2014

Publication series

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

Abstract

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.

Download statistics

No data available

ID: 17443539