Results 331 to 340 of about 1,755,572 (349)

HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems

Industrial Cyber-Physical Systems, 2018
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta   +2 more
semanticscholar   +1 more source

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems, 1992
R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho   +3 more
semanticscholar   +1 more source

Hybrid I/O automata

1996
Nancy Lynch, Roberto Segala, Frits Vaandrager, H. B. Weinberg   +3 more
openaire   +1 more source

Modeling bipedal locomotion trajectories using hybrid automata

IEEE Region 10 Conference, 2016
G. Nandi, Vijay Bhaskar Semwal, M. Raj, Akanksha Jindal   +3 more
semanticscholar   +1 more source

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2016
Nima Roohi, P. Prabhakar, Mahesh Viswanathan   +2 more
semanticscholar   +1 more source

Modelling land use and land cover dynamics of Dedza district of Malawi using hybrid Cellular Automata and Markov model

, 2020
M. Munthali, S. Mustak, A. Adeola, J. Botai, Sudhir Kumar Singh, N. Davis   +5 more
semanticscholar   +1 more source

Hybrid automata

2008
Langerak, Romanus, Polderman, Jan W.
openaire   +1 more source

Introduction to Hybrid Automata

2012
Madhu Gopinathan, Pavithra Prabhakar
openaire   +1 more source

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

IEEE Transactions on Automatic Control, 2016
Yi Deng, A. D’innocenzo, M. D. Di Benedetto, Stefano Di Gennaro, A. Julius   +4 more
semanticscholar   +1 more source

From Simulation Models to Hybrid Automata Using Urgency and Relaxation

International Conference on Hybrid Systems: Computation and Control, 2016
Stefano Minopoli, Goran Frehse
semanticscholar   +1 more source