03384nam 22006255 450 991029949800332120200706030455.09783319041230331904123110.1007/978-3-319-04123-0(CKB)3710000000078806(DE-He213)978-3-319-04123-0(SSID)ssj0001089949(PQKBManifestationID)11581017(PQKBTitleCode)TC0001089949(PQKBWorkID)11125236(PQKB)10899037(MiAaPQ)EBC3101165(PPN)176109021(EXLCZ)99371000000007880620131224d2014 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierMechanics of Localized Slippage in Tactile Sensing And Application to Soft Sensing Systems /by Anh-Van Ho, Shinichi Hirai1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XVIII, 224 p. 140 illus., 104 illus. in color.) Springer Tracts in Advanced Robotics,1610-7438 ;99Bibliographic Level Mode of Issuance: Monograph9783319041223 3319041223 Introduction -- Two Dimensional Beam Bundle Model of a Frictional Sliding Soft Fingertip -- Three-Dimensional Beam Bundle Model of a Sliding Soft Fingertip -- Modeling of a Sliding Human Fingertip -- Tactile Sensing via Micro Force/Moment Sensor -- Slip Perception via Soft Robotic Skin Made of Electroconductive Yarn -- Slip Perception using a Tactile Array Sensor -- Concluding Remarks -- Appendix A: Continuous Modeling 2D Elastic Deformation -- Appendix B: Numerical Integration of Ordinary Differential Equations -- Appendix C: Integral over Triangle.Localized slippage occurs during any relative sliding of soft contacts, ranging from human fingertips to robotic fingertips. Although this phenomenon is dominant for a very short time prior to gross slippage, localized slippage is a crucial factor for any to-be-developed soft sensing system to respond to slippage before it occurs. The content of this book addresses all aspects of localized slippage, including modeling and simulating it, as well as applying it to the construction of novel sensors with slip tactile perception.Springer Tracts in Advanced Robotics,1610-7438 ;99Computational intelligenceArtificial intelligenceComputational Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/T11014Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computational intelligence.Artificial intelligence.Computational Intelligence.Artificial Intelligence.629.8933Ho Anh-Vanauthttp://id.loc.gov/vocabulary/relators/aut861066Hirai Shinichiauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910299498003321Mechanics of Localized Slippage in Tactile Sensing1921659UNINA03545nam 22006135 450 991025432990332120200702091927.010.1007/978-3-319-50763-7(CKB)3710000001095332(DE-He213)978-3-319-50763-7(MiAaPQ)EBC4821162(iGPub)SPNA0049391(PPN)199768706(EXLCZ)99371000000109533220170309d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Methods for Discrete-Time Dynamical Systems /by Calin Belta, Boyan Yordanov, Ebru Aydin Gol1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XVIII, 284 p. 93 illus., 39 illus. in color.) Studies in Systems, Decision and Control,2198-4182 ;893-319-50762-1 3-319-50763-X Includes bibliographical references and index.Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background.This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.Studies in Systems, Decision and Control,2198-4182 ;89Automatic controlComputational complexitySystem theoryControl and Systems Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/T19010Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/T11022Systems Theory, Controlhttps://scigraph.springernature.com/ontologies/product-market-codes/M13070Automatic control.Computational complexity.System theory.Control and Systems Theory.Complexity.Systems Theory, Control.620Belta Calinauthttp://id.loc.gov/vocabulary/relators/aut929361Yordanov Boyanauthttp://id.loc.gov/vocabulary/relators/autAydin Gol Ebruauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910254329903321Formal Methods for Discrete-Time Dynamical Systems2088784UNINA