Logics for hybrid systems
Hybrid systems are heterogenous dynamical systems characterized by interacting
continuous and discrete dynamics. Such mathematical models have proved fruitful in a great …
continuous and discrete dynamics. Such mathematical models have proved fruitful in a great …
Supervisory hybrid systems
MD Lemmon, KX He, I Markovsky - IEEE Control Systems …, 1999 - ieeexplore.ieee.org
Supervisory hybrid systems are systems generating a mixture of continuous-valued and
discrete-valued signals. This systems paradigm is particularly useful in modeling …
discrete-valued signals. This systems paradigm is particularly useful in modeling …
[BOOK][B] Analysis and design of switched systems
X Xu - 2001 - search.proquest.com
INFORMATION TO USERS Page 1 INFORMATION TO USERS This manuscript has been
reproduced from the microfilm master. UMI films the text directly from the original or copy …
reproduced from the microfilm master. UMI films the text directly from the original or copy …
[PDF][PDF] A tutorial introduction to supervisory hybrid systems
MD Lemmon, KX He, I Markovsky - ISIS, 1998 - nd.edu
Supervisory hybrid systems are systems generating a mixture of continuous-valued and
discrete-valued signals. These systems provide convenient models for a wide range of …
discrete-valued signals. These systems provide convenient models for a wide range of …
[PDF][PDF] Using modal logics for the formal analysis and synthesis of hybrid control systems
J Davoren - … , Computer Sciences Laboratory, RSISE, Tech. Rep …, 2000 - researchgate.net
The purpose of this paper is two-fold. We first give an overview of recent work on the formal
analysis and verification of hybrid systems, which are dynamical systems with both discrete …
analysis and verification of hybrid systems, which are dynamical systems with both discrete …
Supervisory eventuality synthesis
H **a, A Trontis, Y Pang… - … Workshop on Discrete …, 2002 - ieeexplore.ieee.org
This paper presents a study on the eventuality synthesis problem for hybrid automata. Given
a hybrid automaton and a target set of states, we seek to compute a feedback controller as …
a hybrid automaton and a target set of states, we seek to compute a feedback controller as …
Assertion-based analysis of hybrid systems with PVS
E Abrahám-Mumm, U Hannemann… - … Conference on Computer …, 2001 - Springer
Hybrid systems are a well-established mathematical model for embedded systems. Such
systems, which combine discrete and continuous behavior, are increasingly used in safety …
systems, which combine discrete and continuous behavior, are increasingly used in safety …
切換系統的穩定性分析與設計
JH Chou - 2005 - ir.lib.ncu.edu.tw
中大機構典藏-NCU Institutional Repository-博碩士論文92521069 詳細資訊 博碩士論文
92521069 詳細資訊 以作者查詢圖書館館藏 ,以作者查詢臺灣博碩士 ,以作者查詢全國書目 ,勘誤 …
92521069 詳細資訊 以作者查詢圖書館館藏 ,以作者查詢臺灣博碩士 ,以作者查詢全國書目 ,勘誤 …
[CITATION][C] THIS PAGE IS ÆÇÌ PART OF THE THESIS, BUT SHOULD BE TURNED IN TO THE PROOFREADER
X Xu