695 search results - page 18 / 139 » Symbolic Simulation of Hybrid Systems |
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper presents an Irregular Distributed Hybrid Concatenated Differential (Ir-DHCD) coding scheme contrived for the relayaided differential decode-and-forward (DDF) ...
DSL
1997
13 years 9 months ago
1997
TOMACS
2002
13 years 7 months ago
2002
ASPDAC
2007
ACM
13 years 12 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...