Results 331 to 340 of about 1,755,572 (349)
Some of the next articles are maybe not open access.
HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems
Industrial Cyber-Physical Systems, 2018Imane Lamrani +2 more
semanticscholar +1 more source
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
Hybrid Systems, 1992R. Alur +3 more
semanticscholar +1 more source
Modeling bipedal locomotion trajectories using hybrid automata
IEEE Region 10 Conference, 2016G. Nandi +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, 2016Nima Roohi +2 more
semanticscholar +1 more source
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
IEEE Transactions on Automatic Control, 2016Yi Deng +4 more
semanticscholar +1 more source
From Simulation Models to Hybrid Automata Using Urgency and Relaxation
International Conference on Hybrid Systems: Computation and Control, 2016Stefano Minopoli, Goran Frehse
semanticscholar +1 more source

