A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
On-Line Symbolic Constraint Embedding for Simulation of Hybrid Dynamical Systems
2005
Multibody system dynamics
Preserved Fulltext
We apply nomenclature developed for hybrid dynamical systems to describe the system with changing constraints and to distinguish the roles of the forward dynamics solver, a collision detector, and an impact ...
The constraint-embedded equations are formulated symbolically according to a re-combination of terms of the unconstrained equations, and this symbolic process is undertaken on-line by the simulator. ...
Hybrid System Modelling To prepare for the construction of a simulator that can advance the solution of a constrained dynamical system through changes in the constraints, reflecting changes in contact ...
doi:10.1007/s11044-005-0269-0
fatcat:z35tvctrkze5xjdazgj62tnnmi
Hybrid symbolic and numerical simulation studies of time-fractional order wave-diffusion systems
2006
International Journal of Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
In the intermediate steps of the simulation, an important by-product, the transfer function of the controlled system, can be obtained, which makes the design of more advanced boundary controllers possible ...
Boundary control of time-fractional order diffusion-wave systems is becoming an active research area. ...
Concluding remarks A hybrid symbolic and numerical method based on MATLAB Symbolic Math Toolbox is developed in this paper to simulate some typical problems of boundary control of fractional order diffusion-wave ...
doi:10.1080/00207170600726493
fatcat:at2hpr56frg5naa2xv3ck5qism
Symbolic simulation of hybrid systems
Ninth Asia-Pacific Software Engineering Conference, 2002.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper we use a symbolic manipulation program to build a tool for simulating CAS models by calculating symbolically the time evolution of the discrete and continuous CAS model functions, as explicit ...
Continuous action systems (CAS) is a formalism in- tended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about the model within refinement ...
The simulation technique that we use is symbolic, i.e., given the simulation parameters, we construct the exact analytic functions that describe the behavior of the hybrid system over time (rather than ...
doi:10.1109/apsec.2002.1182984
dblp:conf/apsec/BackSW02
fatcat:tqb5ekljgzgjpgv4x6akeearby
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper illustrates two approaches to rigorous simulation of hybrid dynamic systems. ...
Since many of these applications are safety critical, it is important to use reliable methods to simulate hybrid systems. ...
George Corliss for reading a late draft of this paper. His subtle comments helped to improve the presentation of the material. ...
doi:10.1109/acc.2002.1024794
fatcat:op34p4wu2rfzplmmmjzedtfp54
Qualitative Simulation of Hybrid Systems with an Application to SysML Models
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We present here a symbolic execution model for the qualitative simulation of hybrid systems, which consists in computing only qualities of the behavior. ...
This model is implemented in the Diversity symbolic execution engine to build the qualitative behaviors of the system. ...
QUALITATIVE SIMULATION AND HYBRID SYSTEMS
Hybrid Systems Hybrid Dynamic Systems consist of continuous dynamic systems, discrete event systems and an interface that handles the interaction between both ...
doi:10.5220/0006535202790286
dblp:conf/modelsward/MedimeghPB18
fatcat:nokj3a7d7vfc3idcgw7u7mfgne
Invisible formal methods for embedded control systems
2003
Proceedings of the IEEE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our approach is based on symbolic representation of the state space of the system using mathematical formulas in an appropriate logic. ...
This paper develops automated analysis techniques for asserting correctness of hybrid system designs. ...
Symbolic simulation refers to performing simulation on sets of states represented symbolically. Thus, symbolic simulation differs from regular simulation in two respects. ...
doi:10.1109/jproc.2002.805818
fatcat:g4bd5tlm5femvcvi7vooz7srnu
Hybrid LS-LMMSE Channel Estimation Technique for LTE Downlink Systems
2011
International Journal of Next-Generation Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Other Versions
As LTE Downlink system is a MIMO-OFDMA based system, a cyclic prefix (CP) is inserted at the beginning of each transmitted OFDM symbol in order to mitigate both inter-carrier interference (ICI) and inter-symbol ...
MATLAB Monte-Carlo simulations are used to evaluate the performance of the proposed estimator in terms of Mean Square Error (MSE) and Bit Error Rate (BER) for 2x2 LTE Downlink systems. ...
SIMULATION RESULTS Simulation studies are conducted to investigate the performance of the proposed hybrid LS-LMMSE estimation technique for LTE Downlink systems under the effect of the channel length. ...
doi:10.5121/ijngn.2011.3401
fatcat:jcb5p3ajwjhuzikybjjudws5tm
A hybird computer programming system
1969
Proceedings of the November 18-20, 1969, fall joint computer conference on - AFIPS '69 (Fall)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
was used primarily in simulation of discrete event probabilistic systems. ...
Until recently, simulation techniques could generally be divided either on the basis of the type of computer to be used, or the type of system to be simulated. ...
doi:10.1145/1478559.1478590
dblp:conf/afips/FranklinS69
fatcat:aa34r7gyfbga7gin2ktd77m4im
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we discuss these and other new features that make the new C2E2 a usable tool for bounded reachability analysis of hybrid systems. ...
Previously it required users to annotate each system of differential equations of the hybrid automaton with discrepancy functions, and since these annotations are difficult to get for general nonlinear ...
and (iii) a newly implemented function for symbolically evaluating the Jacobian matrix for each system of ODEs in the hybrid model. ...
doi:10.1007/978-3-319-41528-4_29
fatcat:xd47ogvh5zexzlzmbstpzdg36m
A hybrid probabilistic data association-sphere decoding detector for multiple-input-multiple-output systems
2005
IEEE Signal Processing Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The key idea is to reduce the dimension of the problem solved via SD by first running a single stage of the PDA to fix symbols that can be decoded with high reliability. ...
A hybrid probabilistic data association (PDA)-sphere decoding (SD) algorithm is proposed for signal detection in multiple-input-multiple-output (MIMO) systems. ...
Minnesota) for sharing their MATLAB implementation of SE-SD. They also would like to thank the reviewers for their constructive comments. ...
doi:10.1109/lsp.2005.843779
fatcat:j66bvust7bcydb53szwtic6ekm
Hybrid CPFSK/OQPSK modulation transmission techniques' performance efficiency with RZ line coding–based fiber systems in passive optical networks
2021
Indonesian Journal of Electrical Engineering and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
BER, max. signal power, and min. noise power variations are based on hybrid modulation techniques for CPFSK/OQPSK of 32 bits/symbol and a modulation frequency of 500 GHz through a fiber length of 30 km ...
Also, optical power and received electrical power variations are simulated with fiber-length variations at a specified modulation frequency of 300 GHz. Max. Q Factor, min. ...
As well as optical power, received electrical power variations are simulated and studied based on hybrid modulation techniques for CPFSK/OQPSK of 8, 16, and 32 bits/symbol with a modulation frequency of ...
doi:10.11591/ijeecs.v21.i1.pp263-270
fatcat:qymjmplg4bbwto2e4br7u3w6xa
Applicability of MIMO to satellite communications
2013
International Journal of Satellite Communications And Networking
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The performance of the MIMO schemes was studied by performing comprehensive computer simulations, and the main results are presented in this paper. ...
The potential satellite and hybrid satellite-terrestrial MIMO scenarios are described, and the applicable MIMO schemes for each scenario are selected. ...
DESCRIPTION OF SIMULATION SYSTEM A MATLAB simulator with full physical layer functionality of DVB-SH was implemented. ...
doi:10.1002/sat.1040
fatcat:7tskjzq7fnhu5cvdazbh4mb5ka
Performance Evaluation of Physical Layer of Mobile WiMAX System by Implementing Hybrid Channel Coding Scheme
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Use of proper adaptive coding for optimizing the performance of mobile WiMAX system can be achieved. ...
For this newly introduced hybrid scheme, the analysis and simulation are carried out with respective to standard AWGN channel which shows improved Bit Error Rate performance and also overcomes the drawbacks ...
The simulation result of a hybrid code in terms BER performance is shown in fig 4. System performance is tested by fixing the threshold SNR at 3dB (for this particular simulation setup). ...
doi:10.5120/16310-5538
fatcat:jdbrzph2d5btvie5e2rlvr73fu
Beamforming performance analysis for OFDM based IEEE 802.11ad millimeter-wave WPANs
2011
2011 8th International Workshop on Multi-Carrier Systems & Solutions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In order to verify the results, the bit error rate (BER) performance is simulated. In addition, the system throughput over range is presented in the paper. ...
Symbol-wise beamforming reduces the complexity considerably compared to subcarrier-wise beamforming with some performance loss, while hybrid beamforming provides much less performance degradation at a ...
If systems with higher MIMO order are considered, the performance advantage of hybrid beamforming over symbol-wise beamforming will be more significant. ...
doi:10.1109/mc-ss.2011.5910710
fatcat:axbkmwkhqndr5c7gd35gh4hdna
Performance Evaluation of OFDM System using Pseudo-Pilots with Particle Swarm & Moth Flame (Hybrid) Optimization
2019
VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
symbol (PRS). ...
In this paper we are investigating and examining the pilot aided system for channel estimation and its special effects on the performance of the OFDM based system. ...
The pseudo code of the MFO algorithm is presented below:
V. RESULT AND SIMULATION: The simulation of the defined objective is achieved by using MATLAB 2014b software. ...
doi:10.35940/ijitee.i1020.0789s19
fatcat:pq4xzevrx5btzmh5d5syjwjxf4
« Previous
Showing results 1 — 15 out of 119,218 results