Filters








58,543 Hits in 3.7 sec

Rigorous engineering of collective adaptive systems: special section

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2020 International Journal on Software Tools for Technology Transfer (STTT)  
This paper introduces the special section on "Rigorous Engineering of Collective Adaptive Systems."  ...  It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic  ...  ISoLA This special section on ''Rigorous Engineering of Collective Adaptive Systems" was inspired by three successful tracks [30, 44, 72] on rigorous engineering at the ISoLA conferences in 2014 [51  ... 
doi:10.1007/s10009-020-00565-0 fatcat:wudyead6tffhxczdq63ave3lty

Introduction to the RE'14 special issue

Robyn R. Lutz
2015 Requirements Engineering  
Progress in the quality of decisions made by selfadaptive systems, such as the approach presented here, will be essential to the success of requirements-driven runtime adaptations.  ...  The three papers published in this issue are extended versions of the work invited from the best of those RE'14 research-track papers.  ... 
doi:10.1007/s00766-015-0228-0 fatcat:whbcckkk4fa5jbsbf4frpghsrm

Page 8119 of Mathematical Reviews Vol. , Issue 99k [page]

1999 Mathematical Reviews  
ISBN 0-387-98489-5 This is the second edition of a mathematically rigorous textbook on the control theory of finite-dimensional deterministic systems.  ...  These chapters of the book provide a sound and in-depth introduction to the foundations of mathematical control and sys- tems theory suitable for students both in engineering and in the mathematical sciences  ... 

Flight Software Development and Validation Workflow Management System
English

GULTUREANU Dan, KERNS Kevin, HENTHORN Tom, QUACH John, KLEEN Mitch
2018 INCAS Bulletin  
This paper describes the SSL Flight Software Development and Validation Workflow Management System and the advantages of such a system/framework for development and verification of very complex spacecraft  ...  Software architecture for space systems needs to become more agile while preserving a high standard of quality.  ...  by formalizing and tracking quality of inputs,  Improves interfaces to organizations that consume flight software validation reports,  Creates centralized system for version control and tracking inputs  ... 
doi:10.13111/2066-8201.2018.10.1.9 fatcat:c7afqzuowbdjzg4xqztva75o7i

Introduction to the focused section on machine learning, estimation and control for intelligent robotics

Jiong Tang, Xu Chen, Yan Gu, Minghui Zheng
2020 International Journal of Intelligent Robotics and Applications  
In "Adaptive Formation-Switching of a Multi-Robot System in an Unknown Occluded Environment using BAT Algorithm", Roy et al. propose an adaptive formation control strategy which enables the robots to navigate  ...  Introduction to the focused section on machine learning, estimation and control for intelligent… * Jiong Tang jiong.tang@uconn.edu 1 Department of Mechanical Engineering, University of Connecticut,  ...  Xu Chen is an assistant professor in the Department of Mechanical Engineering at the University of Washington (UW), Seattle.  ... 
doi:10.1007/s41315-020-00155-y fatcat:agg3wmirgbckzbjqs4th33bvb4

Editorial message

John Dobson, Cliff Jones, Rob Procter, Mark Rouncefield, Robin Williams
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
This track emerged out of the UK Engineering and Physical Sciences Research Council, Dependability Interdisciplinary Research Collaboration (DIRC).  ...  Its focus is on outlining and discussing what tessons can be garnished from inter-disciplinary investigation and approaches to the design of dependable computer systems.  ...  Nail Pollock and James Cornford consider the issue of how generic computer systems may be adapted and customised for use in particular organi?  ... 
doi:10.1145/508926.508927 fatcat:gtpa56otpzd3peg5wrttk6dedm

Editorial message

John Dobson, Cliff Jones, Rob Procter, Mark Rouncefield, Robin Williams
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
This track emerged out of the UK Engineering and Physical Sciences Research Council, Dependability Interdisciplinary Research Collaboration (DIRC).  ...  Its focus is on outlining and discussing what tessons can be garnished from inter-disciplinary investigation and approaches to the design of dependable computer systems.  ...  Nail Pollock and James Cornford consider the issue of how generic computer systems may be adapted and customised for use in particular organi?  ... 
doi:10.1145/508791.508927 dblp:conf/sac/DobsonJPRW02 fatcat:nkahyz7csrfovaykwpo7ilyqye

Comparative Study of an Augmented Reality Software Development Kit Suitable for Forensic Medicine Education

Krittiyaporn Tongprasom, the School of Manufacturing Engineering, Suranaree University of Technology, Nakhon Ratchasima, 30000, Thailand, Wanwanut Boongsood, Woramon Boongsood, Tossanai Pipatchotitham
2021 International Journal of Information and Education Technology  
This paper focuses on an AR system for Forensic Medicine education in Thailand, where drowning is one of the main causes of death.  ...  With the aim of a comparative study and selection, the AR SDK type suitable for use in creating an AR system for teaching Forensic Medicine is selected.  ...  ACKNOWLEDGMENT This research was funded by Suranaree University of Technology.  ... 
doi:10.18178/ijiet.2021.11.1.1482 fatcat:zhzael5kqzgrdj2cc6fo2q2uze

Global Practical Tracking by Output Feedback for Nonlinear Systems with Unknown Growth Rate and Time Delay

Xuehua Yan, Xinmin Song
2014 The Scientific World Journal  
Motivated by the related tracking results and flexibly using the ideas and techniques of universal control and dead zone, an adaptive output-feedback tracking controller is explicitly designed with the  ...  This paper is the further investigation of work of Yan and Liu, 2011, and considers the global practical tracking problem by output feedback for a class of uncertain nonlinear systems with not only unmeasured  ...  Appendices Appendices A and B provide the rigorous proofs of fundamental Propositions 5 and 6, which are collected here for the sake of compactness. A.  ... 
doi:10.1155/2014/713081 pmid:25276859 pmcid:PMC4167805 fatcat:3mvuryzvjjaghf5vqgwd5gm4ua

CURRENT CHALLENGES AND SOLUTION APPROACHES IN EMPIRICAL ENGINEERING DESIGN RESEARCH – A WORKSHOP FOR EMPIRICAL RESEARCH

S. Üreten, M. Eisenmann, T. Nelius, E. Garrelts, D. Krause, S. Matthiesen
2020 Proceedings of the Design Society: DESIGN Conference  
We would like to thank all studies' participants, data collectors and analysers, who enabled a data basis rich enough to be analysed systematically and thus contributed to empirical design research in engineering  ...  In empirical engineering design studies the development of a technical system is often the core of the task.  ...  Experience with the procedure of working with engineering design catalogues according to Roth (1994) was collected in studies examining different adaptions in the procedure of using the catalogues (  ... 
doi:10.1017/dsd.2020.280 fatcat:4lcli2udj5b3zlffac6ps524gm

Guest editorial introduction to the special issue on dynamics and control of smart structures

S.O. Reza Moheimani, G.C. Goodwin
2001 IEEE Transactions on Control Systems Technology  
The paper by Kim et al. is concerned with an active four mount vibration isolation system. Finally Sane et al. studies performance of an ARMARKOV adaptive controller on an active noise control system.  ...  All of the manuscripts were rigorously reviewed according to the TRANSACTION's guidelines.  ... 
doi:10.1109/tcst.2001.896740 fatcat:5ueeek3qfjam5bqslcbzbfzwye

Adaptive Neural Trajectory Tracking Control for Flexible-Joint Robots with Online Learning [article]

Shuyang Chen, John Wen
2020 arXiv   pre-print
With the update of the output layer weights, our controller adapts quickly to the unknown dynamics change and disturbances (such as attaching a load).  ...  The internal weights of the nonlinear basis are updated by online backpropagation to further reduce the tracking error.  ...  Wen is with the Department of Electrical, Computer & Systems Engineering, Rensselaer Polytechnic Institute, 110 8th St, Troy, NY 12180  ... 
arXiv:2003.05426v1 fatcat:z4ebyzqnv5glxpf3m3ogrnoace

Internet Information Orientation: The Link to National Competitiveness on Internet

2015 KSII Transactions on Internet and Information Systems  
the specific Internet capabilities, reclassified the capabilities based on the research issues provided at the 6 th international conference on Internet held in December 2014, and finally described the rigorous  ...  According to OECD, the national informatization index of Korea has not been free from the middle of the OECD countries.  ...  MIMO System 3 Adaptive Power Control Using Large Scale Antenna of the Massive MIMO System in the Mobile Communication 4 IoT & M2M Performance Evaluation of a Smart CoAP Gateway for Remote Home Safety  ... 
doi:10.3837/tiis.2015.08.015 fatcat:tc3ckgscgrc5vh2dghfmd72p3a

Page 5817 of Mathematical Reviews Vol. , Issue 93j [page]

1993 Mathematical Reviews  
Second, the introduction of engineering control concepts has put the required theoretical framework on a rigorous founda- tion.  ...  {For the entire collection see MR 93g:93005.} A.  ... 

Adaptive Approximation Based Control: Unifying Neural, Fuzzy and Traditional Adaptive Approximation Approaches (Farrell, J.A. and Polycarpou, M.M. [Book review]

E. Sanchez, A. Alanis
2008 IEEE Transactions on Neural Networks  
As in Chapter 6, each of the proposed adaptive-approximation-based control schemes is complemented by a rigorous analysis of stability and robustness based on the Lyapunov methodology.  ...  Chapter 5 gives a brief introduction to the main methods for the design of nonlinear control systems, including analysis tools and properties.  ... 
doi:10.1109/tnn.2008.921577 fatcat:b7mpuad4xvdujdkvk7akvt6fjm
« Previous Showing results 1 — 15 out of 58,543 results