Sciweavers

1191 search results - page 78 / 239
» A New Approach for Solving Nonlinear Equations Systems
Sort
View
ISSAC
1997
Springer
142views Mathematics» more  ISSAC 1997»
14 years 1 months ago
The Structure of Sparse Resultant Matrices
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
Ioannis Z. Emiris, Victor Y. Pan
AUTOMATICA
1999
145views more  AUTOMATICA 1999»
13 years 8 months ago
Control of systems integrating logic, dynamics, and constraints
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
Alberto Bemporad, Manfred Morari
AUTOMATICA
2006
137views more  AUTOMATICA 2006»
13 years 9 months ago
Determination of optimal feedback terminal controllers for general boundary conditions using generating functions
Given a nonlinear system and a performance index to be minimized, we present a general approach to expressing the finite time optimal feedback control law applicable to different ...
Chandeok Park, Daniel J. Scheeres
TNN
2010
173views Management» more  TNN 2010»
13 years 3 months ago
Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time delays
Abstract--In this paper, the problem of stochastic synchronization analysis is investigated for a new array of coupled discretetime stochastic complex networks with randomly occurr...
Zidong Wang, Yao Wang, Yurong Liu
CADE
2007
Springer
14 years 9 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli