Computational techniques for hybrid system verification
نویسندگان
چکیده
منابع مشابه
Computational techniques for hybrid system verification
This paper concerns computational methods for verifying properties of polyhedral invariant hybrid automata (PIHA), which are hybrid automata with discrete transitions governed by polyhedral guards. To verify properties of the state trajectories for PIHA, the planar switching surfaces are partitioned to define a finite set of discrete states in an approximate quotient transition system (AQTS). S...
متن کاملComputational techniques for the verification of hybrid systems
Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems that involve the interaction of both discrete state systems, represented by finite automata, and continuous state dynamics, represented by differential equations. The embedded autopilot of a modern commercial...
متن کاملSafe Neighborhood Computation for Hybrid System Verification
Hybrid systems exhibit both discrete and continuous dynamics. The system state can flow continuously, and can also jump by triggering an event (transition). As an important application in the research of hybrid systems, safety verification is concerned with whether a specified set of unsafe states can be reached by the system from the initial set. One direct approach is to compute or over-appro...
متن کاملVerification Techniques for System-Level Design
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This verification techniques for system le...
متن کاملHybrid System verification in Coq
This internship is intended to improve the abstraction method described by Alur in [2], and implemented in Coq in Nimegen [5,7] for proving the safety of hybrid systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2003
ISSN: 0018-9286
DOI: 10.1109/tac.2002.806655