Integrated Flush Air Data Sensing System Modeling for Planetary Entry Guidance with Direct Force Control

Flush air data sensing (FADS) systems have been previously used at both Earth and Mars to provide onboard estimates of angle of attack, sideslip angle, and dynamic pressure. However, these FADS data were often not used in an in-the-loop sense to inform the onboard guidance and control systems. A method to integrate FADS-derived density and wind estimates with a numerical predictor-corrector guidance algorithm is presented. The method is demonstrated in a high-fidelity simulation of a human-scale Mars entry vehicle that utilizes a hypersonic inflatable aerodynamic decelerator (HIAD) with direct force control. Effects on guidance commands and state uncertainties both with and without FADS system modeling are presented and discussed

Digital waveguide modeling for wind instruments: building a state-space representation based on the Webster-Lokshin model

This paper deals with digital waveguide modeling of wind instruments. It presents the application of state-space representations for the refined acoustic model of Webster-Lokshin. This acoustic model describes the propagation of longitudinal waves in axisymmetric acoustic pipes with a varying cross-section, visco-thermal losses at the walls, and without assuming planar or spherical waves. Moreover, three types of discontinuities of the shape can be taken into account (radius, slope and curvature). The purpose of this work is to build low-cost digital simulations in the time domain based on the Webster-Lokshin model. First, decomposing a resonator into independent elementary parts and isolating delay operators lead to a Kelly-Lochbaum network of input/output systems and delays. Second, for a systematic assembling of elements, their state-space representations are derived in discrete time. Then, standard tools of automatic control are used to reduce the complexity of digital simulations in the time domain. The method is applied to a real trombone, and results of simulations are presented and compared with measurements. This method seems to be a promising approach in term of modularity, complexity of calculation and accuracy, for any acoustic resonators based on tubes

Modelling of container service at port terminals

U radu je razmatran proces transporta i pretovara kontejnera dopremljenih drumskim teretnim vozilima u lučki kontejnerski terminal. Ulazno - izlazna kapija, inspekcijsko mesto i skladišna dizalica mogu se posmatrati kao kanali sistema masovnog opsluživanja (SMO) koji redom opslužuju kontejnere. U analizi se primenjuje redna veza SMO. Cilj primene ovakve veze je određivanje intenziteta opsluživanja u pojedinačnim sistemima da bi se smanjilo vreme čekanja kontejnera unutar lučkog terminala i posledično vreme obrta drumskih teretnih vozila koja dopremaju izvozne kontejnere. Opisan je simulacioni model redne veze SMO pod određenim pretpostavkama o raspodelama verovatnoća vremena opsluživanja. Rezultati pokazuju da se ovakva veza SMO može uspešno koristiti za modeliranje opsluživanja kontejnera.A serial system for handling export containers at a port terminal is considered in this paper. The steps that a container must follow in passing through the various port control points are: an entry gate where some paperwork is done, another control point such as weighting/inspection station, and a bridge-type yard crane that lifts containers onto a storage area. An entry gate, weighting/inspection station and a yard crane can be considered as service channels of queuing systems that operate in series. The goal of implementation of serial queuing systems is to determine the intensity of service in an individual queuing system to reduce the waiting time of containers inside the port terminal, as well as the turnaround time of road freight vehicles that deliver export containers. Under the specified assumptions related to probability distributions for service time, the simulation model of a serial system of queuing systems is developed. It has been shown that modeling of container service at port terminals can be carried out successfully by applying serial queuing systems

A Model-based transformation process to validate and implement high-integrity systems

Despite numerous advances, building High-Integrity Embedded systems remains a complex task. They come with strong requirements to ensure safety, schedulability or security properties; one needs to combine multiple analysis to validate each of them. Model-Based Engineering is an accepted solution to address such complexity: analytical models are derived from an abstraction of the system to be built. Yet, ensuring that all abstractions are semantically consistent, remains an issue, e.g. when performing model checking for assessing safety, and then for schedulability using timed automata, and then when generating code. Complexity stems from the high-level view of the model compared to the low-level mechanisms used. In this paper, we present our approach based on AADL and its behavioral annex to refine iteratively an architecture description. Both application and runtime components are transformed into basic AADL constructs which have a strict counterpart in classical programming languages or patterns for verification. We detail the benefits of this process to enhance analysis and code generation. This work has been integrated to the AADL-tool support OSATE2

Integrating heterogeneous distributed COTS discrete-event simulation packages: An emerging standards-based approach

This paper reports on the progress made toward the emergence of standards to support the integration of heterogeneous discrete-event simulations (DESs) created in specialist support tools called commercial-off-the-shelf (COTS) discrete-event simulation packages (CSPs). The general standard for heterogeneous integration in this area has been developed from research in distributed simulation and is the IEEE 1516 standard The High Level Architecture (HLA). However, the specific needs of heterogeneous CSP integration require that the HLA is augmented by additional complementary standards. These are the suite of CSP interoperability (CSPI) standards being developed under the Simulation Interoperability Standards Organization (SISO-http://www.sisostds.org) by the CSPI Product Development Group (CSPI-PDG). The suite consists of several interoperability reference models (IRMs) that outline different integration needs of CSPI, interoperability frameworks (IFs) that define the HLA-based solution to each IRM, appropriate data exchange representations to specify the data exchanged in an IF, and benchmarks termed CSP emulators (CSPEs). This paper contributes to the development of the Type I IF that is intended to represent the HLA-based solution to the problem outlined by the Type I IRM (asynchronous entity passing) by developing the entity transfer specification (ETS) data exchange representation. The use of the ETS in an illustrative case study implemented using a prototype CSPE is shown. This case study also allows us to highlight the importance of event granularity and lookahead in the performance and development of the Type I IF, and to discuss possible methods to automate the capture of appropriate values of lookahead