Results 281 to 290 of about 2,669 (298)
Some of the next articles are maybe not open access.
Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
IEEE Transactions on Automatic Control, 2013Eva M Navarro-Lopez
exaly
Languages and models for hybrid automata: A coalgebraic perspective
Theoretical Computer Science, 2018Renato Neves, Luis S Barbosa
exaly
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2016Nima Roohi, P. Prabhakar, M. Viswanathan
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
Hybrid automata-based CEGAR for rectangular hybrid systems
Formal Methods in System Design, 2015Pavithra Prabhakar +2 more
exaly
New Synthesis of One-Dimensional 90/150 Linear Hybrid Group Cellular Automata
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2007Un-Sook Choi +2 more
exaly
On hybrid models of quantum finite automata
Journal of Computer and System Sciences, 2015Lvzhou Li
exaly
From control-command synchronous programs to hybrid automata
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2012Olivier Bouissou
exaly