Results 321 to 330 of about 1,755,572 (349)

A novel image encryption scheme based on pseudo-random coupled map lattices with hybrid elementary cellular automata

Information Sciences, 2022
Youheng Dong, Gengbing Zhao, Yingjie Ma, Zhou Pan, Rui Wu   +4 more
semanticscholar   +1 more source

Energy management strategies based on hybrid automata for islanded microgrids with renewable sources, batteries and hydrogen

, 2020
A. Kafetzis, C. Ziogou, K. Panopoulos, S. Papadopoulou, P. Seferlis, S. Voutetakis   +5 more
semanticscholar   +1 more source

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

NASA Formal Methods, 2020
Carina Pilch, Maurice Krause, Anne Remke, E. Ábrahám   +3 more
semanticscholar   +1 more source

Automata Based Hybrid PSO–GWO Algorithm for Secured Energy Efficient Optimal Routing in Wireless Sensor Network

Wireless personal communications, 2021
S. Prithi, S. Sumathi
semanticscholar   +1 more source

A learning automata-based hybrid MPA and JS algorithm for numerical optimization problems and its application on data clustering

Knowledge-Based Systems, 2021
Saeid Barshandeh, Reza Dana, Parinaz Eskandarian   +2 more
semanticscholar   +1 more source

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT

International School on Engineering Trustworthy Software Systems, 2019
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li   +3 more
semanticscholar   +1 more source

Hybrid automata: from verification to implementation

International Journal on Software Tools for Technology Transfer (STTT), 2017
Stanley Bak, O. Beg, Sergiy Bogomolov, Taylor T. Johnson, L. V. Nguyen, Christian Schilling   +5 more
semanticscholar   +1 more source

Some Problems of Analysis of Hybrid Automata

Cybernetics and Systems Analysis, 2018
V. Skobelev, V. G. Skobelev
semanticscholar   +1 more source

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata

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

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure

IEEE transactions on computers, 2017
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li   +3 more
semanticscholar   +1 more source