Improved BDD-Based Discrete Analysis of Timed Systems

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_28 ◽

2012 ◽

pp. 326-340 ◽

Author(s):

Truong Khanh Nguyen ◽

Jun Sun ◽

Yang Liu ◽

Jin Song Dong ◽

Yan Liu

Keyword(s):

Timed Systems ◽

Discrete Analysis

Download Full-text

Discrete analysis in obstacle clustering by heterogeneous robots

IEICE Proceeding Series ◽

10.15248/proc.2.45 ◽

2014 ◽

Vol 2 ◽

pp. 45-48

Author(s):

Yuichiro SUEOKA ◽

Takuto KITA ◽

Masato ISHIKAWA ◽

Yasuhiro SUGIMOTO ◽

Koichi OSUKA

Keyword(s):

Discrete Analysis ◽

Heterogeneous Robots

Download Full-text

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

A Symbolic Decision Procedure for Robust Safety of Timed Systems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.39 ◽

2007 ◽

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

Download Full-text

Discrete analysis in commutative rings

Journal of Mathematical Analysis and Applications ◽

10.1016/0022-247x(92)90364-j ◽

1992 ◽

Vol 171 (2) ◽

pp. 537-554 ◽

Author(s):

Daniel M. Hyman

Keyword(s):

Commutative Rings ◽

Discrete Analysis

Download Full-text

Model Predictive Control and Discrete Analysis of Partial Stroke Operated Digital Displacement Unit

2018 Global Fluid Power Society PhD Symposium (GFPS) ◽

10.1109/gfps.2018.8472366 ◽

2018 ◽

Author(s):

Niels Henrik Pedersen ◽

Per Johansen ◽

Torben Ole Andersen

Keyword(s):

Model Predictive Control ◽

Predictive Control ◽

Discrete Analysis

Download Full-text

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80671-6 ◽

2001 ◽

Vol 23 (2) ◽

pp. 88-107 ◽

Author(s):

Jesper Møller ◽

Jakob Lichtenberg ◽

Henrik R. Andersen ◽

Henrik Hulgaard

Keyword(s):

Information Technology ◽

Model Checking ◽

Research Council ◽

Symbolic Model Checking ◽

Timed Systems ◽

Symbolic Model ◽

Technical Research ◽

Technical University

Download Full-text

Timed Systems 1: tock-CSP

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_14 ◽

2010 ◽

pp. 321-343

Author(s):

A. W. Roscoe

Keyword(s):

Download Full-text

“Real” Analysis Is a Degenerate Case of Discrete Analysis

Proceedings of the Sixth International Conference on Difference Equations Augsburg, Germany 2001 ◽

10.1201/9780203575437.ch2 ◽

2004 ◽

pp. 25-34 ◽

Author(s):

Doron Zeilberger

Keyword(s):

Degenerate Case ◽

Real Analysis ◽

Discrete Analysis

Download Full-text

The Unmet Challenge of Timed Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_12 ◽

2014 ◽

pp. 177-192 ◽

Author(s):

Oded Maler

Keyword(s):

Download Full-text

Discrete analysis of elastic cables

The Baltic Journal of Road and Bridge Engineering ◽

10.3846/bjrbe.2012.14 ◽

2012 ◽

Vol 7 (2) ◽

pp. 98-103 ◽

Author(s):

Martti Kiisa ◽

Juhan Idnurm ◽

Siim Idnurm

Keyword(s):

Discrete Analysis ◽

Download Full-text