Results 261 to 270 of about 870,191 (292)

A Hybrid Algorithm for LTL Games

2008
In the game theoretic approach to the synthesis of reactive systems, specifications are often given in linear time logic (LTL). Computing a winning strategy to an infinite game whose winning condition is the set of LTL properties is the main step in obtaining an implementation.
Saqib Sohail, Fabio Somenzi, Kavita Ravi
openaire   +1 more source

A Hybrid Fireworks Explosion Algorithm

2018
In order to improve the abilities of global exploration and local exploitation for the fireworks explosion algorithm (FA), the opposition-based learning method is introduced to generate the opposition-based population and to expand the exploration range of the FA.
Liping Wang, Renwen Chen, Chengwang Xie
openaire   +1 more source

A Synthesis Algorithm for Hybrid Systems

2007
Hybrid systems are systems of continuous plants, subject to disturbances, interacting with sequential automata in a network. By the synthesis problem for hybrid systems we mean extracting a finite state digital controller automaton from the system equations, constraints, and cost function which define the hybrid system.
Srikanth Gottipati, Anil Nerode
openaire   +1 more source

A Hybrid Algorithm for Nonlinear Programming

SIAM Journal on Control and Optimization, 1977
In this paper we present a “hybrid” first-order algorithm, designed to solve finite-dimensional nonlinear programming problems having both equality and inequality constraints. The algorithm is built up from the method of exterior penalty functions, the Pironneau–Polak method of centers, and a quasi-Newton method of Luenberger. The algorithm is shown to
openaire   +3 more sources

Hybrid search algorithms

Proceedings of the 1997 ACM symposium on Applied computing - SAC '97, 1997
Roy P. Pargas, Jennifer Ludwick, Steven Alexander Spoon   +2 more
openaire   +1 more source

Computability and Stability for Hybrid Algorithms

2019
Church’s Thesis for discrete algorithms motivates an analogous thesis for dealing with analog algorithms. Specifically, the notions of analog algorithm and dynamical system are postulated to be equivalent. Stability for hybrid algorithms is addressed by considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states.
Nachum Dershowitz, Zvi Retchkiman Königsberg   +1 more
openaire   +1 more source

Hybrid Whale Optimization Algorithm with simulated annealing for feature selection

Neurocomputing, 2017
Majdi Mafarja, Seyedali Mirjalili
exaly  

A Hybrid Algorithm for Computation of the Nonparametric Maximum Likelihood Estimator from Censored Data

Journal of the American Statistical Association, 1997
Jon A Wellner
exaly  

Hybrid Algorithm

2010
Aris Gkoulalas-Divanis, Vassilios S. Verykios   +1 more
openaire   +1 more source

A new hybrid ant colony optimization algorithm for solving the no-wait flow shop scheduling problems

Applied Soft Computing Journal, 2018
Orhan Engin
exaly