Sciweavers

46 search results - page 3 / 10
» An Application of the DEDS Control Synthesis Method
Sort
View
DAC
2006
ACM
14 years 6 months ago
State encoding of large asynchronous controllers
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
Josep Carmona, Jordi Cortadella
HYBRID
2004
Springer
13 years 11 months ago
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
Alexandre M. Bayen, Robin L. Raffard, Claire Tomli...
HYBRID
1994
Springer
13 years 9 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
ICASSP
2011
IEEE
12 years 9 months ago
Robust sound field reproduction integrating multi-point sound field control and wave field synthesis
For a reproduced sound field, the competing goals between the listening area and reproduction accuracy in an actual environment is one of the most important problems in sound fi...
Noriyoshi Kamado, Hiroshi Saruwatari, Kiyohiro Shi...
CDC
2008
IEEE
170views Control Systems» more  CDC 2008»
14 years 1 days ago
Modeling and control of the protein synthesis process in eukaryotic cells
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
Nadav S. Bar, Rahmi Lale