Yogananda Jeppu

Yogananda Jeppu
National Institute of Technology Karnataka | NITK Surathkal · Department of Computer Science and Engineering

PhD

About

53
Publications
9,283
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
131
Citations
Introduction
Yogananda Jeppu currently works at Honeywell Technology Solutions. Yogananda does research in Aerospace Engineering, Control Systems Engineering and Safety Engineering. Their most recent publication is 'Formal Methods for Safety and Security: Case Studies for Aerospace Applications'.

Publications

Publications (53)
Article
Full-text available
The Air-breathing Hypersonic Vehicle (AHV) can meet the futuristic goals of rapid global travel, to Low-Earth Orbit and into space in near-term decades. This paper presents the study of the trim and stability characteristics of the 3DOF longitudinal model of the generic AHV. Longitudinal 3DOF AHV simulation is developed with the aerodynamic model f...
Article
This paper presents the synthesis of undoped and doped (Al, Al + Mn) ZnO nanoparticles by green combustion method using Terminalia Catappa seed extract as a novel fuel and Zinc nitrate as a precursor, Aluminum nitrate and Magnesium chloride was used as dopant. Synthesized undoped and doped ZnO nanoparticles were characterized by XRD, FESEM, FTIR, U...
Conference Paper
We tackle the few-shot open-set recognition (FSOSR) problem in the context of remote sensing hyperspectral image (HSI) classification. Prior research on OSR mainly considers an empirical threshold on the class prediction scores to reject the outlier samples. Further, recent endeavors in few-shot HSI classification fail to recognize outliers due to...
Conference Paper
View Video Presentation: https://doi.org/10.2514/6.2021-3271.vid The futuristic aspirations of quick global passage on Earth and in near future in Space can be achieved with the Air-breathing Hypersonic Vehicle (AHV). This paper presents the highly nonlinear dynamic AHV model with high altitude and Mach number analysis for the 3-DOF model. The topo...
Article
A complex system is characterized by emergence of global properties which are very difficult, if not impossible, to anticipate just from complete knowledge of component behaviors. Emergence, hierarchical organization and numerosity are some of the characteristics of complex systems. Recently, there has been an exponential increase on the adoption o...
Article
We tackle the problem of few-shot image classification in the context of remote sensing hyperspectral images (HSIs). Due to the difficulties in collecting a large number of labeled training samples, the few-shot classification techniques hold much prominence in remote sensing in general. One of the bottlenecks in designing few-shot learning (FSL) s...
Chapter
The current pandemic has necessitated new ways of learning in the academia and the industry. No access to the laboratory makes the student–teacher interaction a one-way street. Industry is also struggling to make the internal training session more interesting. An industry level training on safety-critical model-based design has been taken up as a s...
Chapter
In the safety-critical systems domain, Model Based Development (MBD) is an increasingly popular approach for development of digital control systems. In this approach, System Engineers develop and simulate system models composed of hardware and software requirements using MBD tools like Simulink, Stateflow or SCADE etc. In recent years, Formal Metho...
Conference Paper
Collision Avoidance Systems play a major role in the development and integration of Unmanned Aerial Vehicles into the airspace. There has been extensive research on various collision avoidance algorithms and techniques. Typically, these algorithms and techniques involve sensing and detection, and approaches to avoidance in 2D or 3D scenarios. Recen...
Conference Paper
The COVID-19 pandemic is rampant in India and this has changed the way the students and teachers interact with each other during a course. An added complexity is the introduction of the Industry Academia participation in terms of Adjunct Faculties. Teaching formal methods to undergraduate students has been difficult and these are well captured in t...
Preprint
The current pandemic has necessitated new ways of learning in the academia and the industry. No access to the laboratory makes the student teacher interaction a one-way street. Industry is also struggling to make the internal training session more interesting. An industry level training on safety critical model-based design has been taken up as a s...
Article
Recent developments in the automotive industry like versatile cruise control, connected cars, predictive maintenance, vehicle tracking, electric vehicle, driverless technology and so on, has forced engineers to be increasingly reliant on data from the vehicle. Thus to build safe, reliable and survivable vehicles even under minor faulty conditions....
Conference Paper
MIDAS (Model Integrated Decomposition and Assisted Specification) is an innovative new approach to requirement specification. By integrating textual and intent‐based model‐assisted requirement flows, MIDAS presents a paradigm shift from prior model‐based and traditional textual requirement processes. Such a change is necessary to address the full i...
Article
System engineers are advocating model based approaches for developing systems. INCOSE is at the forefront of this initiative with many documents released in the public domain. Safety analysis is a major aspect in systems design. This is very fresh in mind today with the crash of the Ethiopian Airlines ET302 on March 10, 2019. Systems Theoretic Proc...
Conference Paper
Full-text available
PID control has been in use since 1911 and it is still used today in more than 95% of the control systems in the world. Teaching controls to undergraduate students invariably means teaching PID control. The mathematics in the control theory in the syllabus puts students off from this subject and many colleges have come with intuitive methods to tea...
Article
A complex system is characterized by emergence of global properties which are very difficult, if not impossible, to anticipate just from complete knowledge of component behaviors. Emergence, hierarchical organization and numerosity are some of the characteristics of complex systems. With increasing system complexity, achieving confidence in systems...
Preprint
Full-text available
Although Formal Method (FM) based techniques and tools have impressively improved in recent years, the need to train engineers to be accomplished users of formal notation and tailor the tools/workflow to meet objectives of the specific application domain, involves a high initial investment and difficulty to actualize in large, legacy organizations....
Conference Paper
Full-text available
Formal methods provide easy way of validating properties about systems. These methods are in existence since the last 50 years but have not been used fully by the industry as an engineering tool. One of the challenges of acceptance is education. Educating engineering students to take up formal methods is a challenge. This paper looks at these aspec...
Presentation
Full-text available
This has a presentation on testing Safety Critical Control Systems using Model Based Testing Methods and a brief introduction to Formal Methods. Key takeaway An insight into the fascinating field of Model Based Testing of Safety Critical Control Systems An insight into the mistakes we make –again and again A set of best practices in this field gle...
Preprint
Full-text available
Safety critical control systems have failed in their missions. However, the world is moving towards complete autonomy with autonomous driverless cars to ferry people in near future. Emerging young engineers will be facing the world inadequately equipped to face these challenges. Safety Critical Algorithms, Formal Methods and Testing are the need of...
Chapter
This an introduction to the formal methods perception in the community today. There are many incidents of software failure, and formal methods are advocated as a sure fire solution to the problems. This is however not seen to be so by the majority. There are barriers to the formal methods that need to be overcome by the practicing engineer before i...
Chapter
Full-text available
Software systems have failed in the recent past. This is most often attributed to wrong requirements often caught very late in the program or escapes from the rigorous process leading to failures. There is a necessity to ensure that the requirements are correct up front before the design and verification process start. Formal methods have become po...
Book
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and gov...
Article
Purpose The purpose of this paper is to develop a new guidance scheme for aerial vehicles based on artificial intelligence. The new guidance scheme must be able to intercept maneuvering targets with higher probability and precision compared to existing algorithms. Design/methodology/approach A simulation setup of the aerial vehicle guidance prob...
Article
For estimation of mathematical model and parameters of a system, the system identification has been widely applied in various domains such as the automatic control, aviation, spaceflight, civil and mechanical engineering, medicine, biology, chemical processes, marine ecology, geology etc. The main aim of this work is to perform preliminary studies...
Conference Paper
Flight control law software have errors. Some are found during the extensive testing and certification process and others pass through causing accidents. The testing of flight control software indicates that the code and the model match. But it is very difficult to ensure if the model was correct in the first place. Model checkers like Mathworks Si...
Article
Full-text available
This paper discusses an approach for system simulation of an autopilot system designed for a Bell helicopter model. The flight controls for the helicopter is designed in Matlab/Simulink and the same is visualized in X-Plane flight simulator. The approach involves software in loop simulation method where controls are designed in Matlab/Simulink and...
Article
Unmanned Aerial Vehicle(UAV) are used in various applications like visual surveillance of natural resources, product delivery, armed attacks, disaster relief etc. This research proposes use of Artificial Intelligence (AI) for dynamic target tracking capability of an UAV. The AI guidance algorithm performance is compared against standard guidance al...
Chapter
Autopilot mode confusion has resulted in many aircraft accidents. This brings out the importance of design validation for the complicated mode transition logic (MTL) for aircraft autopilot systems. A method of implementing mode transition tables in terms of transition and condition tables was developed for the Indian SARAS autopilot. This method is...
Conference Paper
Full-text available
In Aerospace industry, implementation of Automated Test System (ATS) at the assembly and manufacturing floor improves characterization accuracy and plays a vital role to substantiate the airworthiness of the aircraft components. It is very useful in realizing high quality standards of aircraft components by virtue of meeting predefined acceptance t...
Article
Model-based testing has become a de facto methodology for flight-control law verification and validation today. The recent flight-control programs of commercial aircraft like the Boeing 747-8 and Airbus A350 XWB are verified and validated using model-based test methods. These projects are long-timeframe projects, and so modification and improvement...
Conference Paper
Aircraft flight control systems consist of primary controls and secondary control systems. Primary flight control systems provide the operation for the airplane's elevator, aileron rudder and horizontal stabilizer trim actuator. Simulink models are used to design and simulate such systems. Sensor failures happen very often and the control system is...
Conference Paper
Artificial Intelligence (AI) is a vast domain with variety of applications. This research proposes the use of AI for guidance of an Unmanned Aerial Vehicle (UAV) to a maneuvering target. The AI agent is trained using machine learning algorithm. The PN guidance algorithm is used as a basis for training the agent. An orthogonal array based training s...
Conference Paper
Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their requirement coverage (High/Low level) analysis and justified discrepancies (if any) are the primary obj...
Article
Full-text available
Aerospace or flight control systems software development follows a rigorous process, yet software errors still occur. The author, Yogananda Jeppu of Moog India Technology Centre, reviews mistakes found during flight control test activities. He and other researchers are generating an autoreview tool that converts the knowledge gained from all these...
Conference Paper
Design of Experiments (DOE) is a mathematical methodology employed for information gathering and inference. This research uses the Design of Experiments methodology to analyze the worst case scenario for guiding the UAV (Unmanned Aerial Vehicle) to a maneuverable target by an UAV. Using a minimal set of simulations the DOE provides the worst case t...
Article
Full-text available
Safety plays a key role in the safe operation of any safety critical control systems. Safety in such systems depends on the correct operation of the software meant for the safety purpose. Thorough testing of software is required to avoid the catastrophic accidents or to minimize the failure. As a case study, benchmark problem is tested against the...
Conference Paper
Safety critical control systems, especially flight control systems, have failed in trials and actual flights sometimes killing people. Independence is a key word in the verification and validation activity of such systems. Model based testing is used today in all flight control programs. Test cases are generated using qualified automated tools or m...
Conference Paper
Full-text available
System development in the aerospace and automotive industry uses a model-based approach. Model-based development provides a development process from requirements to code. It ensures that the implemented systems are complete and behave as expected. Model-based testing relies on models of a system under test to derive test cases for the system. A com...
Article
Taguchi Design of Experiments (DOE) has been used in manufacturing, marketing, chemistry and biological experimentation. Orthogonal arrays, a part of DOE, has been successfully used in reducing test cases for software testing. Safety critical applications require extensive testing as proof of robustness for certification. Component based software d...
Article
Full-text available
Two major safety-critical elements of the onboard software for the Tejas digital flight controlcomputer software are the control laws and the airdata algorithm. The airdata algorithm computesessential parameters like static and dynamic pressures, altitude, speed, angle of attack, etc fromthe airdata sensor input. These parameters are used by the co...
Article
The Indian Light Combat Aircraft, Tejas has flown more than 298 flights so far without encountering any major defects in the safety critical fly-by-wire software. This is partly due to the stringent quality requirements and mostly due to the stress testing of the Flight Control Software code carried out on various platforms. The test team has evolv...
Conference Paper
The on board safety critical Ada code for the Indian Light Combat Aircraft, Tejas, has been tested in a Non Real Time (NRT) mode. This method of testing has a few drawbacks. The methodology suffers with certain deficiencies in areas such as coverage metrics, test case generation, and test case selection for regression testing. These drawbacks can b...
Conference Paper
Testing the Flight Control Laws and the Airdata Algorithm form a major part of the Flight Control System development cycle. These two safety critical software are validated and verified on very costly rigs in every aircraft development program. The Indian Light Combat Aircraft, with fixed gains and the limited first flight envelope, was successfull...
Conference Paper
Testing the Flight Control Laws and the Airdata Algorithm form a major part of the Flight Control System development cycle. These two safety critical software are validated and verified on very costly rigs in every aircraft development program. The Indian Light Combat Aircraft, with fixed gains and the limited first flight envelope, was successfull...
Article
Full-text available
This paper computes the Kaliyuga Epoch using optimization and mean values of Aryabhata's planetary constants
Article
Testing the Flight Control Laws and the Airdata Algorithm form a major part of the Flight Control System development cycle. These two safety critical software are validated and verified on very costly rigs in every aircraft development program. The Indian Light Combat Aircraft, with fixed gains and the limited first flight envelope, was successfull...

Network

Cited By

Projects