ACS Without an Attitude [[electronic resource] /] / by Harold L. Hallock, Gary Welter, David G. Simpson, Christopher Rouff |
Autore | Hallock Harold L |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVII, 279 p. 54 illus.) |
Disciplina | 004 |
Collana | NASA Monographs in Systems and Software Engineering |
Soggetto topico |
Special purpose computers
Aerospace engineering Astronautics Software engineering Special Purpose and Application-Based Systems Aerospace Technology and Astronautics Software Engineering |
ISBN | 1-4471-7325-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Attitude Conventions & Definitions -- General Orbit Background -- Angular Momentum and Torque -- Attitude Measurement Sensors -- Attitude Actuators -- Reference Models -- Onboard Attitude Determination -- Spacecraft State Estimation more Broadly -- Onboard Orbit Computations -- Control Laws: General Qualities -- Control Laws: Attitude Applications -- Mission Characteristics -- Appendix A: Time Measurement Systems -- Appendix B:Variation on Deriving the Kalman Gain -- Index. |
Record Nr. | UNINA-9910254817703321 |
Hallock Harold L | ||
London : , : Springer London : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Approaches to Agent-Based Systems [[electronic resource] ] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 295 p.) |
Disciplina | 629.8028563 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Software engineering Computer logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-45133-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | “What Is an Agent and Why Should I Care?” -- “What Is an Agent and Why Should I Care?” -- Organising Logic-Based Agents -- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior -- Formal Specification of Interaction in Agent Societies -- Formal Verification for a Next-Generation Space Shuttle -- Automated Protocol Analysis in Maude -- Towards Interaction Protocol Operations for Large Multi-agent Systems -- Formal Modeling and Supervisory Control of Reconfigurable Robot Teams -- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models -- Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results -- Verifiable Middleware for Secure Agent Interoperability -- Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators -- Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions -- Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities -- A Model for Conformance Testing of Mobile Agents in a MASIF Framework -- Analysis of a Phase Transition in a Physics-Based Multiagent System -- You Seem Friendly, But Can I Trust You? -- Taking Intelligent Agents to the Battlefield -- Panel Session on “Applications” -- Naval Applications of Secure Multi-agent Technology -- Challenges Arising from Applications -- Applications Panel: Agents Applied to Autonomous Vehicles -- Using XML for Interprocess Communications in a Space Situational Awareness and Control Application -- Panel Session on “Asimov’s Laws” -- Asimov’s Laws: Current Progress -- Asimov’s Laws -- On Laws of Robotics -- Panel Session on “Tools and Education” -- Challenges Arising from Applications of Agent-Based System -- Tools and Education towards Formal Methods Practice -- Poster Presentations -- Evaluating Agent-Based Modeling as a Tool for Economists -- Modeling Traffic Control through Deterrent Agents -- Towards a Formal Representation of Driving Behaviors -- Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System -- Agent Programming in Dribble: From Beliefs to Goals with Plans. |
Record Nr. | UNISA-996466029003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 295 p.) |
Disciplina | 629.8028563 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Software engineering Computer logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-45133-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | “What Is an Agent and Why Should I Care?” -- “What Is an Agent and Why Should I Care?” -- Organising Logic-Based Agents -- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior -- Formal Specification of Interaction in Agent Societies -- Formal Verification for a Next-Generation Space Shuttle -- Automated Protocol Analysis in Maude -- Towards Interaction Protocol Operations for Large Multi-agent Systems -- Formal Modeling and Supervisory Control of Reconfigurable Robot Teams -- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models -- Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results -- Verifiable Middleware for Secure Agent Interoperability -- Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators -- Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions -- Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities -- A Model for Conformance Testing of Mobile Agents in a MASIF Framework -- Analysis of a Phase Transition in a Physics-Based Multiagent System -- You Seem Friendly, But Can I Trust You? -- Taking Intelligent Agents to the Battlefield -- Panel Session on “Applications” -- Naval Applications of Secure Multi-agent Technology -- Challenges Arising from Applications -- Applications Panel: Agents Applied to Autonomous Vehicles -- Using XML for Interprocess Communications in a Space Situational Awareness and Control Application -- Panel Session on “Asimov’s Laws” -- Asimov’s Laws: Current Progress -- Asimov’s Laws -- On Laws of Robotics -- Panel Session on “Tools and Education” -- Challenges Arising from Applications of Agent-Based System -- Tools and Education towards Formal Methods Practice -- Poster Presentations -- Evaluating Agent-Based Modeling as a Tool for Economists -- Modeling Traffic Control through Deterrent Agents -- Towards a Formal Representation of Driving Behaviors -- Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System -- Agent Programming in Dribble: From Beliefs to Goals with Plans. |
Record Nr. | UNINA-9910143856203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Robot memetics : a space exploration perspective / / Walt Truszkowski [et al.] |
Autore | Truszkowski Walt <1939-> |
Edizione | [1st edition 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xii, 82 pages) |
Disciplina | 629.892 |
Collana | SpringerBriefs in Electrical and Computer Engineering |
Soggetto topico |
Robotics
Memetics |
ISBN | 3-030-37952-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Spectrum of Robots -- Memes -- Robot Memetics -- Mars Settlement Scenario -- Conclusion. |
Record Nr. | UNINA-9910484930603321 |
Truszkowski Walt <1939-> | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|