#### Filter Results:

- Full text PDF available (48)

#### Publication Year

1994

2018

- This year (2)
- Last 5 years (11)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Eugene Asarin, Oded Maler, Amir Pnueli
- Theor. Comput. Sci.
- 1995

In this paper we consider a class of hybrid systems, namely dynamical systems with piecewise-constant derivatives (PCD systems). Such systems consist of a partition of the Euclidean space into a niteâ€¦ (More)

- Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
- HSCC
- 2000

In this paper we describe an experimental system called d dt for approximating reachable states for hybrid systems whose con tinuous dynamics is de ned by linear di erential equations We use anâ€¦ (More)

- Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
- Proceedings of the IEEE
- 2000

In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate theâ€¦ (More)

- Eugene Asarin, Paul Caspi, Oded Maler
- J. ACM
- 2002

In this article, we define timed regular expressions, a formalism for specifying discrete behaviors augmented with timing information, and prove that its expressive power is equivalent to the timedâ€¦ (More)

- Yasmina AbdeddaÃ¯m, Eugene Asarin, Oded Maler
- Theor. Comput. Sci.
- 2006

In this work we present timed automata as a natural tool for posing and solving scheduling problems. We show how efficient shortest path algorithms for timed automata can find optimal schedules forâ€¦ (More)

- Eugene Asarin, Oded Maler, Amir Pnueli
- Hybrid Systems
- 1994

This paper presents algorithms for the symbolic synthesis of discrete and real time controllers At the semantic level the controller is synthesized by nding a winning strategy for certain games deâ€¦ (More)

- Eugene Asarin, Paul Caspi, Oded Maler
- LICS
- 1997

In this paper we define timed regular expressions, an extension of regular expressions for specifying sets of densetime discrete-valued signals. We show that this formalism is equivalent inâ€¦ (More)

- Eugene Asarin, Oded Maler
- HSCC
- 1999

In this work we tackle the following problem given a timed automaton and a target set F of con gurations restrict its transition re lation in a systematic way so that from every state the remainingâ€¦ (More)

- Eugene Asarin, Thao Dang, Antoine Girard
- HSCC
- 2003

In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system áº‹ = g(x), we study an approximatingâ€¦ (More)

Given a dense-time real-valued signal and a parameterized temporal logic formula with both magnitude and timing parameters, we compute the subset of the parameter space that renders the formulaâ€¦ (More)