#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2002

2013

- This year (0)
- Last 5 years (2)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

One of the main obstacles in the safety analysis of continuous and hybrid systems has been the computation of the reachable set for continuous systems in high dimensions. In this paper, we present a novel method that exploits the structure of linear dynamical systems, and the monotonicity of the exponential function in order to obtain safety certificates of… (More)

S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify realtime temporal logic specifications. S-TALIRO is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to… (More)

- Hakan Yazarel, Chien Chern Cheah
- IEEE Trans. Automat. Contr.
- 2002

- Hakan Yazarel, Chien Chern Cheah, Hwee Choo Liaw
- IEEE Trans. Robotics and Automation
- 2002

- Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
- CDC
- 2013

We present CSEC (Compositional Symbolic Equivalence Checker), an algorithm and tool to perform automatic and compositional equivalence checking of C code against Simulink models. Such equivalence checking is important in model based development of safety-critical control software in industrial settings, where either the Simulink models are hand-generated to… (More)

- Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
- RTSS
- 2005

Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies. We argue that the gap between the model and the implementation can be rigorously quantified leading to predictability if the implementation is viewed as a sequence of control… (More)

Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition… (More)

- Hakan Yazarel, Chien Chern Cheah, Hwee Choo Liaw
- ICRA
- 2002

- ‹
- 1
- ›