2015 Annual IEEE Systems Conference (SysCon) Proceedings最新文献_第8页

Including non-functional requirements in the Axiomatic Design process 在公理设计过程中包括非功能需求

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116729

M. Mabrok, M. Efatmaneshnik, M. Ryan

引用次数: 7

Autonomous controller design for an orbital debris chaser craft 轨道碎片追踪飞行器的自主控制器设计

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116815

J. Labrado, P. Benavidez, M. Jamshidi

{"title":"Autonomous controller design for an orbital debris chaser craft","authors":"J. Labrado, P. Benavidez, M. Jamshidi","doi":"10.1109/SYSCON.2015.7116815","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116815","url":null,"abstract":"Space is starting to become very crowded mostly in low earth orbit (LEO). Current projections are showing that without active debris removal (ADR) missions manned and unmanned operations in LEO will become in danger of collisions. While research is being done on removal techniques most approaches involve human pilots and/or are planned for a single use. A more effective solution in the long run would be to have a multi-use crafts that could navigate to rendezvous with multiple targets for de-orbiting. The purpose of this paper is to compare two different types of controllers used on a simulated nonlinear active satellite system to rendezvous with a certain target in orbit. The two types of controllers that are compared are a state feedback controller and a Fuzzy Logic Controller (FLC). Initial conditions are provided to the controller at first in order to ensure each controller works in a variety of start points. Simulations for both controllers are performed to compare operation while attempting to rendezvous with the target location. The simulation results provide details on the different strengths for both types of controllers that could be applied to different missions. One main result of this paper is that the State Feedback controller was able to reach the target location quicker but the FLC had a much smoother approach. Further detail on the results is presented in this paper.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115622201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Gait synthesis of a hybrid legged robot using reinforcement learning 基于强化学习的混合腿机器人步态合成

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116790

J. L. D. Santos, C. Nascimento

引用次数: 1

Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models 通过输入/输出依赖分析来划分嵌入式系统的需求，以便组合创建并行测试模型

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116735

S. Siegl, Martin Russer, K. Hielscher

{"title":"Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models","authors":"S. Siegl, Martin Russer, K. Hielscher","doi":"10.1109/SYSCON.2015.7116735","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116735","url":null,"abstract":"In this paper we present a novel approach to reduce the effort for creating the model and facilitate its appliance in industry. We stick to the foundations of constructive enumeration to create a complete, traceably correct, and consistent model, but we do first decompose the task into manageable units by input/output dependency analysis. The expected behavior is formalized in temporal logic. The resulting model is a composition of all models, that run in parallel. As time is explicitly considered during the creation of the model, timing information is available for structured testing of non functional, e.g. real time requirements, as well as for the determination of measures and dependability estimators. By this approach, the subsequent activities for quality assurance, such as validation and verification, measurement of coverage criteria, and dependability estimators, e.g. of reliability, safety, and risk, profit from this approach, as they rely on a provably correct basis. We applied the method to an embedded system of a German automotive OEM, that was designed in Matlab Simulink and architectured with AUTOSAR 3.2 methodology. An existing test suite was at hand, that was created with the established method. This existing test suite served as benchmark to assess the quality of the new test suite, derived from the model. We compared the reachability of the test cases inside the implementation with code coverage measures and examined the variance of use imposed by the test suites. We present the promising results in this paper.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129629278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

A genetic algorithm for single-trial P300 detection with a low-cost EEG headset 低成本脑电图头戴式耳机单次P300检测的遗传算法

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116757

Riley Magee, S. Givigi

{"title":"A genetic algorithm for single-trial P300 detection with a low-cost EEG headset","authors":"Riley Magee, S. Givigi","doi":"10.1109/SYSCON.2015.7116757","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116757","url":null,"abstract":"Brain machine interface (BMI) devices facilitate communication and control of computers using signals measured from within the brain of the operators. These signals are detected using electroencephalography (EEG) devices. Research in this field aims to enable victims of `locked-in syndrome' as a result of amyotrophic lateral sclerosis, spinal injury, cerebral palsy, muscular dystrophies, or multiple sclerosis. BMI systems also increase diversity in human computer interaction methods. One of the BMI target signals, known as the P300, is an involuntary reaction to a desired visual stimulus. BMI systems capable of detecting P300 signals allow direct brain-device interaction, without the need for muscle excitation. Because EEG P300 signal suffers low signal to noise ratios, classification of user intent can be difficult. Typically P300 systems use repeated visually evoked potentials (VEPs) to increase classifier accuracy; however this results in lower information transfer rates. To improve single-trial P300 detection we use a genetic algorithm (GA) in combination with both a neural network and linear discriminant analysis classifiers. The GA improved feature selection for training the classifiers. We explore the results of those features found influential on P300 classification and suggest direction for future research in single-trial P300 detection.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124692506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

Adaptive touch sampling for energy-efficient mobile platforms 节能移动平台的自适应触摸采样

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116841

Alexander W. Min, Kyungtae Han, Dongho Hong, Yong-joon Park

引用次数: 1

Using context overlays to analyse the role of a priori information with Process Mining 使用上下文覆盖来分析过程挖掘中先验信息的作用

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116823

P. Pileggi, Alejandro Rivero Rodríguez, O. Nykänen

引用次数: 3

Automatic generation of fuzzy classification rules using granulation-based adaptive clustering 基于粒化的自适应聚类自动生成模糊分类规则

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116825

M. Al-Shammaa, M. Abbod

引用次数: 8

Formal modeling and verification of integrated photonic systems 集成光子系统的形式化建模与验证

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116811

U. Siddique, O. Hasan, S. Tahar

{"title":"Formal modeling and verification of integrated photonic systems","authors":"U. Siddique, O. Hasan, S. Tahar","doi":"10.1109/SYSCON.2015.7116811","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116811","url":null,"abstract":"The prominent advantages of photonics are high bandwidth, low power and the possibility of better electromagnetic interference immunity. As a result, photonics technology is increasingly used in ubiquitous applications such as telecommunication, medicine, avionics and robotics. One of the main critical requirements is to verify the corresponding functional properties of these systems. In this perspective, we identify the most widely used modeling techniques (e.g., transfer matrices, difference equations and block diagrams) for the modeling and analysis of photonic components. Considering the safety and cost critical nature of the application domain, we discuss the potential of using formal methods as a complementary analysis approach. In particular, we propose a framework to formally specify and verify the critical properties of complex photonic systems within the sound core of a higher-order-logic theorem prover. For illustration purposes, we present the formal specification of a microring resonator based photonic filter along with the verification of some important design properties such as spectral power and filtering rejection ratio.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129252754","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Systems engineering of inter-satellite communications for distributed systems of small satellites 小卫星分布式系统的星间通信系统工程

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116833

W. Edmonson, S. Gebreyohannes, A. Dillion, Radhika Radhakrishnan, Jules Chenou, A. Esterline, F. Afghah

{"title":"Systems engineering of inter-satellite communications for distributed systems of small satellites","authors":"W. Edmonson, S. Gebreyohannes, A. Dillion, Radhika Radhakrishnan, Jules Chenou, A. Esterline, F. Afghah","doi":"10.1109/SYSCON.2015.7116833","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116833","url":null,"abstract":"Present design processes for satellite networks mainly involve interconnected system models and their parameter-based simulations without emphasizing high level requirements in the process. What is missing is a systems engineering approach and a system of verification and validation based on formal representation and analysis. We propose a systems design methodology for inter-satellite communication based on the Responsive and Formal Design (RFD) [1]-[3], which addresses the need for a model-based system engineering approach coupled with a system of validation and verification based on formal representation and analysis. The goal is to apply the RFD process to provide a solution for the Inter-Satellite Communications (ISC) problem within the Open Systems Interconnection (OSI) framework. The OSI represents a standard framework for communication between devices. It divides the communication process into seven layers, with each one providing well-defined functions and services. We will address the integration of the RFD process with the OSI framework for ISC. The RFD process involves levels of design abstraction and refinement which correspond to layers or groups of layers of the OSI model. The process illustrates how the complete framework for ISC unfolds in an iterative manner.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124785188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19