Results 251 to 259 of about 1,825 (259)
Some of the next articles are maybe not open access.
Hybrid automata-based CEGAR for rectangular hybrid systems
Formal Methods in System Design, 2015Sayan Mitra +2 more
exaly
Topometry optimisation for crashworthiness design using hybrid cellular automata
International Journal of Vehicle Design, 2012Andres Tovar, John Renaud
exaly
Hybrid Automata as a Modelling Approach in the Behavioural Sciences
Electronic Notes in Theoretical Computer Science, 2013Frank Eggert, Ursula Goltz
exaly
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017Taylor T Johnson +2 more
exaly
Modelling Production Systems By Hybrid Automata and Hybrid Petri Nets
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 1997exaly
Characterisation of a particular hybrid transformation of two-dimensional cellular automata
Computers and Mathematics With Applications, 1999exaly