119,218 Hits in 2.3 sec

On-Line Symbolic Constraint Embedding for Simulation of Hybrid Dynamical Systems

R. Brent Gillespie, Volkan Patoglu, Islam I. Hussein, E. R. Westervelt
2005 Multibody system dynamics  
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

J. Liang, Y. Q. Chen
2006 International Journal of Control  
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

R.-J. Back, C.C. Seceleanu, J. Westerholm
Ninth Asia-Pacific Software Engineering Conference, 2002.  
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

N.S. Nedialkov, M. von Mohrenschildt
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)  
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

Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
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

A. Tiwari, N. Shankar, J. Rushby
2003 Proceedings of the IEEE  
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

Abdelhakim Khlifi, Ridha Bouallegue
2011 International Journal of Next-Generation Networks  
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

M. A. Franklin, J. C. Strauss
1969 Proceedings of the November 18-20, 1969, fall joint computer conference on - AFIPS '69 (Fall)  
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]

Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016 Lecture Notes in Computer Science  
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

G. Latsoudas, N.D. Sidiropoulos
2005 IEEE Signal Processing Letters  
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

Aadel M. Alatwi, Ahmed Nabih Zaki Rashed
2021 Indonesian Journal of Electrical Engineering and Computer Science  
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

Jukka Kyröläinen, Ari Hulkkonen, Juha Ylitalo, Aaron Byman, Bhavani Shankar, Pantelis-Daniel Arapoglou, Joel Grotz
2013 International Journal of Satellite Communications And Networking  
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

Jagdish D.Kene, Kishor D. Kulat
2014 International Journal of Computer Applications  
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

Xiaoyi Zhu, Angela Doufexi, Taskin Kocak
2011 2011 8th International Workshop on Multi-Carrier Systems & Solutions  
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

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