1,159 research outputs found
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Petri nets are a formalism for modelling and reasoning about the behaviour of
distributed systems. Recently, a reversible approach to Petri nets, Reversing
Petri Nets (RPN), has been proposed, allowing transitions to be reversed
spontaneously in or out of causal order. In this work we propose an approach
for controlling the reversal of actions of an RPN, by associating transitions
with conditions whose satisfaction/violation allows the execution of
transitions in the forward/reversed direction, respectively. We illustrate the
framework with a model of a novel, distributed algorithm for antenna selection
in distributed antenna arrays.Comment: RC 201
Recommended from our members
Building safe software
Murphy is a set of techniques and tools under investigation for their potential in enhancing the safety of software. This paper describes some of the work which has been done and some which is planned
Software system safety
Software itself is not hazardous, but since software and hardware share common interfaces there is an opportunity for software to create hazards. Further, these software systems are complex, and proven methods for the design, analysis, and measurement of software safety are not yet available. Some past software failures, future NASA software trends, software engineering methods, and tools and techniques for various software safety analyses are reviewed. Recommendations to NASA are made based on this review
Adaptive Fault-Tolerant Formation Control for Quadrotors with Actuator Faults
In this paper, we investigate the fault-tolerant formation control of a group of quadrotor aircrafts with a leader. Continuous fault-tolerant formation control protocol is constructed by using adaptive updating mechanism and boundary layer theory to compensate actuator fault. Results show that the desired formation pattern and trajectory under actuator fault can be achieved using the proposed fault-tolerant formation control. A simulation is conducted to illustrate the effectiveness of the method
Advanced flight control system study
A fly by wire flight control system architecture designed for high reliability includes spare sensor and computer elements to permit safe dispatch with failed elements, thereby reducing unscheduled maintenance. A methodology capable of demonstrating that the architecture does achieve the predicted performance characteristics consists of a hierarchy of activities ranging from analytical calculations of system reliability and formal methods of software verification to iron bird testing followed by flight evaluation. Interfacing this architecture to the Lockheed S-3A aircraft for flight test is discussed. This testbed vehicle can be expanded to support flight experiments in advanced aerodynamics, electromechanical actuators, secondary power systems, flight management, new displays, and air traffic control concepts
- …