Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures

Farn Wang

doi:10.1109/tse.2005.13

Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures

IEEE Transactions on Software Engineering ◽

10.1109/tse.2005.13 ◽

2005 ◽

Vol 31 (1) ◽

pp. 38-51 ◽

Cited By ~ 30

Author(s):

Farn Wang

Keyword(s):

Hybrid Systems ◽

Data Structures ◽

Safety Analysis

Download Full-text

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_23 ◽

2004 ◽

pp. 295-307 ◽

Cited By ~ 13

Author(s):

Farn Wang

Keyword(s):

Hybrid Systems ◽

Data Structures ◽

Safety Analysis

Download Full-text

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

IEEE Transactions on Software Engineering ◽

10.1109/tse.2004.15 ◽

2004 ◽

Vol 30 (6) ◽

pp. 403-417 ◽

Cited By ~ 3

Author(s):

Farn Wang ◽

K. Schmidt ◽

Fang Yu ◽

Geng-Dian Huang ◽

Bow-Yaw Wang

Keyword(s):

Data Structures ◽

Safety Analysis ◽

Symmetry Reduction ◽

Concurrent Software ◽

Graph Automorphism

Download Full-text

Optimal Data Structures for Spatially Localised Agent-based Automata and Hybrid Systems

Applied Simulation and Modelling / 777: Artificial Intelligence and Soft Computing ◽

10.2316/p.2012.777-055 ◽

2012 ◽

Author(s):

Chris J. Scogings ◽

Ken A. Hawick

Keyword(s):

Hybrid Systems ◽

Data Structures ◽

Agent Based

Download Full-text

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92970-5_6 ◽

2018 ◽

pp. 89-104

Author(s):

Stefan Schupp ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Safety Analysis

Download Full-text

A Model-Based Safety Analysis Method for Hybrid Systems Based on Multiple Hazard Factor Categories

2019 International Conference on Sensing, Diagnostics, Prognostics, and Control (SDPC) ◽

10.1109/sdpc.2019.00181 ◽

2019 ◽

Author(s):

Hao Wang ◽

Deming Zhong ◽

Yukun Zhao ◽

Rui Sun

Keyword(s):

Hybrid Systems ◽

Safety Analysis ◽

Analysis Method ◽

Model Based ◽

Hazard Factor

Download Full-text

Safety analysis using compositional bounded error approximations of communicating hybrid systems

2017 IEEE 56th Annual Conference on Decision and Control (CDC) ◽

10.1109/cdc.2017.8263997 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ratan Lal ◽

Pavithra Prabhakar

Keyword(s):

Hybrid Systems ◽

Safety Analysis ◽

Bounded Error

Download Full-text

Safety analysis of helicopter models using timed automata hybrid systems

International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009 ◽

10.1109/icici-bme.2009.5417220 ◽

2009 ◽

Author(s):

H. Y. Sutarto ◽

N. Y. Megawati ◽

Salmah ◽

A. Suparwanto ◽

E. Joelianto ◽

...

Keyword(s):

Hybrid Systems ◽

Timed Automata ◽

Safety Analysis

Download Full-text

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71493-4_78 ◽

2007 ◽

pp. 758-761 ◽

Cited By ~ 5

Author(s):

Derek Riley ◽

Xenofon Koutsoukos ◽

Kasandra Riley

Keyword(s):

Hybrid Systems ◽

Safety Analysis ◽

Stochastic Hybrid Systems ◽

Cataract Development ◽

Sugar Cataract

Download Full-text

Safety analysis for integrated circuits in the context of hybrid systems

2017 IEEE International Test Conference (ITC) ◽

10.1109/test.2017.8242045 ◽

2017 ◽

Cited By ~ 2

Author(s):

V Prasanth ◽

Rubin Parekhji ◽

Bharadwaj Amrutur

Keyword(s):

Integrated Circuits ◽

Hybrid Systems ◽

Safety Analysis

Download Full-text

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-36135-9_4 ◽

2002 ◽

pp. 50-64 ◽

Cited By ~ 5

Author(s):

Farn Wang ◽

Karsten Schmidt

Keyword(s):

Data Structures ◽

Safety Analysis ◽

Concurrent Software

Download Full-text