Sciweavers

20126 search results - page 123 / 4026
» Timed Transition Systems
Sort
View
FOSSACS
2009
Springer
15 years 10 months ago
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
Parosh Aziz Abdulla, Richard Mayr
CVPR
1999
IEEE
16 years 5 months ago
Bayesian Multi-Camera Surveillance
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...
Vera Kettnaker, Ramin Zabih
FASE
1998
Springer
15 years 7 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan
122
Voted
ICANN
2007
Springer
15 years 9 months ago
Control and Synchronization of Chaotic Neurons Under Threshold Activated Coupling
Abstract. We have studied the spatiotemporal behaviour of threshold coupled chaotic neurons. We observe that the chaos is controlled by threshold activated coupling, and the system...
Manish Dev Shrimali, Guoguang He, Sudeshna Sinha, ...
118
Voted
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 8 months ago
Generalized Model Predictive Direct Torque Control: Long prediction horizons and minimization of switching losses
Abstract— This paper presents a generalized Model Predictive Direct Torque Control scheme with an extended horizon, which is composed of multiple hinges (groups of switch transit...
Tobias Geyer