Sciweavers

2452 search results - page 8 / 491
» On Reduction of Lagrange Systems
Sort
View
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 5 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
AGTIVE
2007
Springer
15 years 3 months ago
A Single-Step Term-Graph Reduction System for Proof Assistants
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
CDC
2009
IEEE
154views Control Systems» more  CDC 2009»
15 years 2 months ago
Structure-preserving model reduction of complex physical systems
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...
Arjan van der Schaft, Rostyslav V. Polyuga
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
15 years 4 months ago
A structure preserving minimal representation of a nonlinear port-Hamiltonian system
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
Jacquelien M. A. Scherpen, Arjan van der Schaft
GLOBECOM
2006
IEEE
15 years 3 months ago
An Adaptive-Scaling Tone Reservation Algorithm for PAR Reduction in OFDM Systems
— Existing tone-reservation algorithms (such as the controlled clipper algorithm) for OFDM require a number of iterations to ensure the reduction of Peak-to-Average Power Ratio (...
Luqing Wang, Chintha Tellambura