Listing 1 - 10 of 16 | << page >> |
Sort by
|
Choose an application
This monograph discusses assurance for autonomous systems, the different approaches to assuring autonomy, formal analysis, cybersecurity, certification and research challenges, and it is intended for researchers, students and practitioners who are active in the privacy and security aspects of autonomous systems.
Choose an application
Choose an application
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a set of lectures in 1999 and 2000 instigated by a NASA Flight Software Branch Chief at Goddard Space Flight Center. The Branch Chief later suggested this book. It provides an approachable insight into the area and is not intended as an essential reference work. ACS Without an Attitude is intended for programmers and testers new to the field who are seeking a commonsense understanding of the subject matter they are coding and testing in the hope that they will reduce their risk of introducing or missing the key software bug that causes an abrupt termination in their spacecraft’s mission. In addition, the book will provide managers and others working with spacecraft with a basic understanding of this subject.
Computer science. --- Special purpose computers. --- Software engineering. --- Aerospace engineering. --- Astronautics. --- Computer Science. --- Special Purpose and Application-Based Systems. --- Aerospace Technology and Astronautics. --- Software Engineering. --- Space vehicles --- Artificial satellites --- Attitude control systems. --- Attitude control systems (Astronautics) --- Satellite attitude control --- Space sciences --- Aeronautics --- Astrodynamics --- Space flight --- Aeronautical engineering --- Astronautics --- Engineering --- Computer software engineering --- Special purpose computers --- Computers --- Informatics --- Science --- Astronautical instruments --- Control systems
Choose an application
This book provides a novel perspective on the concept of memetics as applied to the development and evolution of intelligent robots and robotic communities/cultures. It provides a framework for the emergence of a hybrid community of people and intelligent robots collaborating to realize mutual benefits and scientific objectives. It aims to show that as the hybrid community emerges, so does its culture. Once this foundational work is done, the book illustrates the robot memetic ideas in the context of a space exploration scenario based on the development and operation of a human/robot settlement on Mars.
Robotics. --- Automation --- Machine theory --- Automation. --- Artificial intelligence. --- Computational intelligence. --- Input-output equipment (Computers). --- Space sciences. --- Robotics and Automation. --- Artificial Intelligence. --- Computational Intelligence. --- Input/Output and Data Communications. --- Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics). --- Science and space --- Space research --- Cosmology --- Science --- Astronomy --- Computer hardware --- Computer I/O equipment --- Computers --- Electronic analog computers --- Electronic digital computers --- Hardware, Computer --- I/O equipment (Computers) --- Input equipment (Computers) --- Input-output equipment (Computers) --- Output equipment (Computers) --- Computer systems --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic factories --- Automatic production --- Computer control --- Engineering cybernetics --- Factories --- Industrial engineering --- Mechanization --- Assembly-line methods --- Automatic control --- Automatic machinery --- CAD/CAM systems --- Robotics --- Input-output equipment --- Memetics. --- Memes, Study of --- Knowledge, Theory of --- Contagion (Social psychology) --- Idea (Philosophy) --- Memes
Choose an application
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a set of lectures in 1999 and 2000 instigated by a NASA Flight Software Branch Chief at Goddard Space Flight Center. The Branch Chief later suggested this book. It provides an approachable insight into the area and is not intended as an essential reference work. ACS Without an Attitude is intended for programmers and testers new to the field who are seeking a commonsense understanding of the subject matter they are coding and testing in the hope that they will reduce their risk of introducing or missing the key software bug that causes an abrupt termination in their spacecraft’s mission. In addition, the book will provide managers and others working with spacecraft with a basic understanding of this subject.
Space research --- Astronomy --- Computer. Automation --- astronauten --- informatica --- software engineering --- ruimtevaart
Choose an application
This book provides a novel perspective on the concept of memetics as applied to the development and evolution of intelligent robots and robotic communities/cultures. It provides a framework for the emergence of a hybrid community of people and intelligent robots collaborating to realize mutual benefits and scientific objectives. It aims to show that as the hybrid community emerges, so does its culture. Once this foundational work is done, the book illustrates the robot memetic ideas in the context of a space exploration scenario based on the development and operation of a human/robot settlement on Mars.
Space research --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- neuronale netwerken --- fuzzy logic --- cybernetica --- automatisering --- computers --- KI (kunstmatige intelligentie) --- ruimtevaart --- robots
Choose an application
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.
Intelligent control systems --- Software engineering --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer science. --- Science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Science, general. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Natural science --- Science of science --- Sciences --- Informatics --- Science --- Distributed processing --- Logic design. --- Artificial Intelligence. --- Science, Humanities and Social Sciences, multidisciplinary.
Choose an application
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.
Intelligent control systems --- Software engineering --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Architecture, Computer --- Informatics --- Science --- Computer network architectures. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Intelligent control systems - Congresses --- Software engineering - Congresses
Choose an application
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Choose an application
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS '00, '02 & '04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an invaluable in-depth view of the key issues related to agent technology from a formal perspective, for both researchers and practitioners. This is a relatively new interdisciplinary field, and there is enormous room for further growth The book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.
Mathematical logic --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots
Listing 1 - 10 of 16 | << page >> |
Sort by
|