Sciweavers

19 search results - page 1 / 4
» Synthesizing Switching Logic to Minimize Long-Run Cost
Sort
View
CORR
2011
Springer
139views Education» more  CORR 2011»
12 years 11 months ago
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
EMSOFT
2011
Springer
12 years 4 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
CSREAESA
2004
13 years 6 months ago
Switching Activity Minimization in Combinational Logic Design
: In this paper we focus on the reduction of switching activity in combinational logic circuits. An algorithmic approach using k-map has been proposed which modifies the normal opt...
R. V. Menon, S. Chennupati, Naveen K. Samala, Damu...
ASPDAC
2005
ACM
97views Hardware» more  ASPDAC 2005»
13 years 6 months ago
Fast synthesis of exact minimal reversible circuits using group theory
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek...
HYBRID
2004
Springer
13 years 10 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...