BeagleBone robotic projects / / Richard Grimmett |
Autore | Grimmett Richard |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Birmingham : , : Packt Publishing, , 2013 |
Descrizione fisica | 1 online resource (244 p.) |
Disciplina | 629.89251 |
Collana | Community experience distilled |
Soggetto topico |
BeagleBone (Computer)
Microcontrollers |
ISBN | 1-78355-933-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with the BeagleBone Black; Mission briefing; The unveiling!; Hooking up a keyboard, mouse, and display; Changing the operating system; Adding a graphical user interface; Accessing the board remotely; Mission accomplished; A challenge; Chapter 2: Programming the BeagleBone Black; Mission briefing; Basic Linux commands and navigating the filesystem; Createing, editing, and saving files on the BeagleBone Black
Creating and running Python programs on the BeagleBone BlackBasic programming constructs on the BeagleBone Black; Introduction to the C++ programming language; Mission accomplished; A challenge; Chapter 3: Providing Speech Input and Output; Mission briefing; Hooking up the HW to make and input sound; Using Espeak to allow your projects to respond in a robot voice; Using PocketSphinx to interpret your commands; Providing the capability to interpret; your commands and have your robot initiate an action; Mission accomplished; A challenge; Chapter 4: Allowing the BeagleBone Black to See Mission briefingConnecting the USB camera to the BeagleBone Black and viewing the images; Downloading and installing OpenCV - a full-featured vision library; Using the vision library to detect colored objects; Mission accomplished; Challenges; Chapter 5: Making the Unit Mobile - Controlling Wheeled Movement; Mission briefing; Using a motor controller to control the speed of your platform; Controlling your mobile platform programmatically using the BeagleBone Black; Making your mobile platform truly mobile by issuing voice commands; Mission accomplished; A challenge Chapter 6: Making the Unit Very Mobile - Controlling Legged MovementMission briefing; Connecting the BeagleBone Black to the mobile platform using a servo controller; Creating a program in Linux to control the mobile platform; Making your mobile platform truly mobile by issuing voice commands; Mission accomplished; A challenge; Chapter 7: Avoiding Obstacles Using Sensors; Mission briefing; Connecting the BeagleBone Black to a USB Sonar sensor; Using a servo to move a single sensor; Mission accomplished; A challenge; Chapter 8: Going Truly Mobile - Remote Control of Your Robot Mission briefingConnecting the BeagleBone Black to a wireless USB keyboard; Using the keyboard to control your project; Mission accomplished; A challenge; Chapter 9: Using a GPS Receiver to Locate Your Robot; Mission briefing; Connecting the BeagleBone Black to a GPS device; Accessing the GPS programmatically and determining how to move to a location; Mission accomplished; A challenge; Chapter 10: System Dynamics; Mission briefing; Creating a general control structure so capabilities can communicate; Mission accomplished; A challenge; Chapter 11: By Land, Sea, and Air; Mission briefing Using the BeagleBone Black in robots that can sail |
Record Nr. | UNINA-9910827450603321 |
Grimmett Richard
![]() |
||
Birmingham : , : Packt Publishing, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Effective robotics programming with ROS : find out everything you need to know to build powerful robots with the most up-to-date ROS / / Anil Mahtani [and three others] |
Autore | Mahtani Anil |
Edizione | [Third edition.] |
Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, [India] : , : Packt, , 2016 |
Descrizione fisica | 1 online resource (469 pages) |
Disciplina | 629.89251 |
Soggetto topico |
Robots - Programming
Robotics |
ISBN | 1-78646-137-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910157529103321 |
Mahtani Anil
![]() |
||
Birmingham, England ; ; Mumbai, [India] : , : Packt, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Indoor scene recognition by 3-D object search : for robot programming by demonstration / / Pascal Meißner |
Autore | Meißner Pascal |
Edizione | [1st edition 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xix, 262 pages) : illustrations (some color) |
Disciplina |
629.89251
629.892 |
Collana | Springer Tracts in Advanced Robotics |
Soggetto topico | Robots - Programming |
ISBN | 3-030-31852-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- RelatedWork -- PassiveSceneRecognition -- ActiveSceneRecognition -- Evaluation -- Summary -- Appendix. . |
Record Nr. | UNINA-9910484331403321 |
Meißner Pascal
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [[electronic resource] ] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXIII, 974 p. 256 illus.) |
Disciplina | 629.89251 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-47166-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event simulation: limitations and possibilities -- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances -- Feedback Control for Statistical Model Checking of Cyber-Physical Systems -- Probabilistic Model Checking of Incomplete Models -- Plasma Lab: A Modular Statistical Model Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO -- Statistical Model Checking for Product Lines -- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems -- Better railway engineering through statistical model checking -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle -- Automatic Synthesis of Code using Genetic Programming -- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations -- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form -- A Model Interpreter for Timed Automata -- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction -- Combinatory Process Synthesis -- Synthesis from a Practical Perspective -- A Long and Winding Road Towards Modular Synthesis -- Semantic heterogeneity in the formal development of complex systems: an introduction -- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications -- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute the Force -- A Model-Based Approach to Combining Static and Dynamic Verification Techniques -- Information flow analysis for Go -- Challenges in High-Assurance Runtime Verification -- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata -- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots -- On Combinations of Static and Dynamic Analysis -- Safer Refactorings -- Rigorous Engineering of Collective Adaptive Systems -- Programming of CAS systems by relying on attribute-based communication -- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic Fragments: coordinating entities with logic programs -- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions -- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel -- Smart coordination of autonomic component ensembles in the context of ad-hoc communication -- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems -- Rigorous graphical modelling of movement in Collective Adaptive Systems -- Integration and Promotion of Autonomy with the ARE Framework -- Safe Artificial Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues -- Correctness-by-Construction and Post-hoc Verification: Friends or Foes? -- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? -- Deductive Verification of Legacy Code -- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families -- Conditions for Compatibility of Components - The case of masters and slaves -- A Logic for Statistical Model Checking of Dynamic Software Architectures -- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms in Rodin -- Proof-Carrying Apps: Contract-Based Deployment-Time Verification -- Supervisory Controller Synthesis for Product Lines with CIF3 -- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols and Software with Formal Methods -- A Model-Based Approach to Secure Multiparty Distributed Systems -- Information leakage analysis of complex C code and its application to OpenSSL -- Integrated Modeling Workflow for Security Assurance -- A Privacy-Aware Conceptual Model for Handling Personal Data -- Guaranteeing Privacy-observing Data Exchange. |
Record Nr. | UNISA-996465660403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXIII, 974 p. 256 illus.) |
Disciplina | 629.89251 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-47166-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event simulation: limitations and possibilities -- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances -- Feedback Control for Statistical Model Checking of Cyber-Physical Systems -- Probabilistic Model Checking of Incomplete Models -- Plasma Lab: A Modular Statistical Model Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO -- Statistical Model Checking for Product Lines -- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems -- Better railway engineering through statistical model checking -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle -- Automatic Synthesis of Code using Genetic Programming -- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations -- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form -- A Model Interpreter for Timed Automata -- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction -- Combinatory Process Synthesis -- Synthesis from a Practical Perspective -- A Long and Winding Road Towards Modular Synthesis -- Semantic heterogeneity in the formal development of complex systems: an introduction -- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications -- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute the Force -- A Model-Based Approach to Combining Static and Dynamic Verification Techniques -- Information flow analysis for Go -- Challenges in High-Assurance Runtime Verification -- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata -- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots -- On Combinations of Static and Dynamic Analysis -- Safer Refactorings -- Rigorous Engineering of Collective Adaptive Systems -- Programming of CAS systems by relying on attribute-based communication -- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic Fragments: coordinating entities with logic programs -- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions -- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel -- Smart coordination of autonomic component ensembles in the context of ad-hoc communication -- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems -- Rigorous graphical modelling of movement in Collective Adaptive Systems -- Integration and Promotion of Autonomy with the ARE Framework -- Safe Artificial Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues -- Correctness-by-Construction and Post-hoc Verification: Friends or Foes? -- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? -- Deductive Verification of Legacy Code -- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families -- Conditions for Compatibility of Components - The case of masters and slaves -- A Logic for Statistical Model Checking of Dynamic Software Architectures -- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms in Rodin -- Proof-Carrying Apps: Contract-Based Deployment-Time Verification -- Supervisory Controller Synthesis for Product Lines with CIF3 -- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols and Software with Formal Methods -- A Model-Based Approach to Secure Multiparty Distributed Systems -- Information leakage analysis of complex C code and its application to OpenSSL -- Integrated Modeling Workflow for Security Assurance -- A Privacy-Aware Conceptual Model for Handling Personal Data -- Guaranteeing Privacy-observing Data Exchange. |
Record Nr. | UNINA-9910484927703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Practical Video Game Bots : Automating Game Processes using C++, Python, and AutoIt / / by Ilya Shpigor |
Autore | Shpigor Ilya |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 |
Descrizione fisica | 1 online resource (336 pages) |
Disciplina | 629.89251 |
Soggetto topico |
Computer games—Programming
Compilers (Computer programs) Python (Computer program language) Microsoft software Microsoft .NET Framework Game Development Compilers and Interpreters Python Microsoft |
ISBN | 1-4842-3736-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Bots Overview -- 2. Clicker Bots -- 3. In-Game Bots -- 4. Out-Game Bots -- 5. Extra Techniques -- . |
Record Nr. | UNINA-9910300366903321 |
Shpigor Ilya
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Robot operating system (ROS) for absolute beginners : robotics programming made easy / / Lentin Joseph and Aleena Johny |
Autore | Joseph Lentin |
Edizione | [2nd edition.] |
Pubbl/distr/stampa | New York, New York : , : Apress Media LLC, , [2022] |
Descrizione fisica | 1 online resource (293 pages, 1 volume) : illustrations (black and white, and color) |
Disciplina | 629.89251 |
Soggetto topico |
Robotics - Programming
Operating systems (Computers) Artificial intelligence |
ISBN |
1-5231-5097-1
1-4842-7750-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Getting Started with Ubuntu/Linux for Robotics Chapter 2: Fundamentals of C++ for Robotic Programming Chapter 3: Fundamentals of Python for Robotics Programming Chapter 4: Kick Starting Robot Operating System Chapter 5: Programming with ROS Chapter 6: Robotics Project Using ROS |
Record Nr. | UNINA-9910544861003321 |
Joseph Lentin
![]() |
||
New York, New York : , : Apress Media LLC, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|