Sciweavers

1891 search results - page 145 / 379
» Constrained Subspace Modelling
Sort
View
HYBRID
2009
Springer
15 years 9 months ago
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
Yizhar Or, Aaron D. Ames
LFCS
2007
Springer
15 years 9 months ago
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
119
Voted
ASPDAC
2006
ACM
140views Hardware» more  ASPDAC 2006»
15 years 9 months ago
A cycle accurate power estimation tool
- Power consumption is one of the major challenges in VLSI Design. Power constrained designs need tools to accurately predict the power consumption and provide feedback to designer...
Rajat Chaudhry, Daniel L. Stasiak, Stephen D. Posl...
HYBRID
2004
Springer
15 years 8 months ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
IDEAL
2004
Springer
15 years 8 months ago
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
Zeshan Kurd, Tim P. Kelly, Jim Austin