✦ LIBER ✦

Safety verification and reachability analysis for hybrid systems

✍ Scribed by Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 409 KB
Volume: 33
Category: Article
ISSN: 1367-5788
DOI: 10.1016/j.arcontrol.2009.03.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tightened reachability constraints for t

Tightened reachability constraints for the verification of linear hybrid systems

✍ Zhikun She; Zhiming Zheng 📂 Article 📅 2008 🏛 Elsevier 🌐 English ⚖ 635 KB

State constrained reachability for stoch

State constrained reachability for stochastic hybrid systems

✍ Manuela L. Bujorianu; Marius C. Bujorianu 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 534 KB

The reachability and observability of hy

The reachability and observability of hybrid multirate sampling linear systems

✍ M. de la Sen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 969 KB

Parallelism, Preprocessing, and Reachabi

Parallelism, Preprocessing, and Reachability: A Hybrid Algorithm for Directed Graphs

✍ P.N. Klein 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 602 KB

The problem of reachability in a directed graph has resisted attempts at efficient parallelization. Only for fairly dense graphs can we efficiently achieve significant parallel speedups, using known methods. We describe a technique allowing significant parallel speedup even for moderately sparse gra

Safety verification and adaptive model p

Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system

✍ M. Fiacchini; T. Alamo; I. Alvarado; E. F. Camacho 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 2 views

Reachability and controllability indices

Reachability and controllability indices for linear descriptor systems

✍ M. Malabre; V. Kučera; P. Zagalak 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 247 KB