Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Chinese fiction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

New adaptive and event-triggered control designs with concrete applications in undersea construction, offshore drilling, and cable elevatorsControl applications in undersea construction, cable elevators, and offshore drilling present major methodological challenges because they involve PDE systems (cables and drillstrings) of time-varying length, coupled with ODE systems (the attached loads or tools) that usually have unknown parameters and unmeasured states. In PDE Control of String-Actuated Motion, Ji Wang and Miroslav Krstic develop control algorithms for these complex PDE-ODE systems evolving on time-varying domains.Motivated by physical systems, the book’s algorithms are designed to operate, with rigorous mathematical guarantees, in the presence of real-world challenges, such as unknown parameters, unmeasured distributed states, environmental disturbances, delays, and event-triggered implementations. The book leverages the power of the PDE backstepping approach and expands its scope in many directions.Filled with theoretical innovations and comprehensive in its coverage, PDE Control of String-Actuated Motion provides new design tools and mathematical techniques with far-reaching potential in adaptive control, delay systems, and event-triggered control.

Boundary value problems. --- Cables --- Control theory. --- Differential equations, Partial. --- Equations of motion. --- Loads (Mechanics) --- Loads (Mechanics). --- SCIENCE / Mechanics / Dynamics. --- Vibration. --- Strains and stresses --- Boundary conditions (Differential equations) --- Differential equations --- Functions of complex variables --- Mathematical physics --- Initial value problems --- Motion equations --- Mechanics --- Lagrange equations --- Partial differential equations --- Dynamics --- Machine theory --- Accelerometer. --- Actuator. --- Adaptive control. --- Aircraft. --- Algorithm. --- Altitude. --- Ammeter. --- Amplitude. --- Angle of attack. --- Attitude control. --- Belt (mechanical). --- Bending. --- Buoyancy. --- Cape Crozier. --- Center of mass (relativistic). --- Center of pressure (fluid mechanics). --- Centrality. --- Centrifugal force. --- Chemical bond. --- Coanda effect. --- Combination. --- Compressibility. --- Contact force. --- Contour line. --- Control limits. --- Control reversal. --- Control variable. --- Convection. --- Coordinate system. --- Coupling. --- Drill bit. --- Dynamic pressure. --- Eigenfunction. --- Elastic instability. --- Elevon. --- Empennage. --- Equation. --- Flapper valve. --- Flight control surfaces. --- Force. --- Frequency domain. --- Frequency response. --- Fuselage. --- Gangway (nautical). --- Hamilton's principle. --- Imagery. --- Increment and decrement operators. --- Inference. --- Initial condition. --- Inspection. --- Laminar flow. --- Limit load (physics). --- Limit set. --- Linearization. --- Longitudinal mode. --- Loop around. --- Mach number. --- Main effect. --- Motion control. --- Motion planning. --- Newton's laws of motion. --- Open loop. --- Order of magnitude. --- Partial differential equation. --- Pitch angle (particle motion). --- Powered lift. --- Pressure. --- Propulsion. --- Publishing. --- Requirement. --- Rotation around a fixed axis. --- Shackle. --- Shear flow. --- Simultaneity. --- Skin friction drag. --- Solver. --- Specific impulse. --- Spiral model. --- Spline interpolation. --- State-space representation. --- Subroutine. --- Thrust vectoring. --- Torsion (mechanics). --- Torsional vibration. --- Trajectory. --- Transfer function. --- Transformation matrix. --- Transonic. --- Unit vector. --- Upper and lower bounds. --- Vector field. --- Vector projection. --- Vertical stabilizer. --- Vestibular system. --- Vibration control. --- Wind tunnel. --- Wire rope. --- SCIENCE / Mechanics / Dynamics --- MATHEMATICS / Applied

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.

Information theory. --- Software engineering. --- Computer science. --- Computer system performance. --- Artificial intelligence. --- Theory of Computation. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- System Performance and Evaluation. --- Artificial Intelligence. --- 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 --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computers. --- Programming languages (Electronic computers). --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Failures --- Compilers (Computer programs). --- Electronic digital computers—Evaluation. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Molecular biology --- Immunology. Immunopathology --- Allergy --- immunologie --- allergieën --- moleculaire biologie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mecoptera. --- Mecoptera --- China --- History. --- Mecopterans --- Scorpion flies --- Scorpionflies --- Insects