Work

Hybrid modelling of dynamic systems by hybrid automatons and analysis of reachability of states in view of diagnosis

Year: 2005

Type: conference-paper

Source: WSEAS International Conference on Simulation, Modelling and Optimization (SMO)

Authors: Yamina Menasria, Nasreddine Debbache, H. Alla

Institution: Badji Mokhtar-Annaba University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2163313746

FWCI:

Cites: 7

Cited by:

Related to: 10