<--- Back to Details
First PageDocument Content
Finite automata / Finite-state transducer / Timed automaton / Finite-state machine / Control theory / XC / Applied mathematics / Mathematics / Systems science / Tree transducer
Date: 2016-07-15 23:00:36
Finite automata
Finite-state transducer
Timed automaton
Finite-state machine
Control theory
XC
Applied mathematics
Mathematics
Systems science
Tree transducer

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Add to Reading List

Source URL: www.cs.purdue.edu

Download Document from Source Website

File Size: 396,69 KB

Share Document on Facebook

Similar Documents

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

DocID: 1sfbi - View Document

cs281: Introduction to Computer Systems  Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

DocID: 1rqsB - View Document

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

DocID: 1rjTr - View Document

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

DocID: 1riTt - View Document

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

DocID: 1r6CB - View Document