This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions.

Acerca del autor

Huafeng Yu is a senior researcher with Boeing Research & Technology. He is currently working on Safety, Assurance and Certification for Unmanned Aircraft Systems and Self-Driving Vehicles, and is the technical lead for AI safety and assurance in The Boeing Company. Huafeng’s main research interests include formal methods, safety assurance, artificial intelligence, machine learning, model-based engineering, and cyber security. Prior to joining Boeing, he has been working in TOYOTA, ALTRAN, INRIA, Gemplus, and Panasonic. He has experience of more than 15 years on safety research and development in the domains of automobile and aerospace.

Huafeng is currently a member of IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS) and chair of its industry outreach subcommittee. He has been a member of SAE standard committee for AADL. Huafeng serves as associate editor of IET Journal on Cyber-Physical Systems, guest editor of IEEE Transaction onSustainable Computing and ACM Transactions on Cyber-Physical Systems. He has served on Program Committees of DAC, DATE, ICCAD, SAC, ICPS, DASC, SmartWorld, ARCH, SLIP, WICSA and CompArch, and AVICPS. Huafeng received his PhD from INRIA and University of Lille 1 (France, 2008) and Master from University Joseph Fourier (France, 2005), both in Computer Science.

Xin Li received the Ph.D. degree in Electrical and Computer Engineering from Carnegie Mellon University, Pittsburgh, PA in 2005, and the M.S. and B.S. degrees in Electronics Engineering from Fudan University, Shanghai, China in 2001 and 1998, respectively. He is currently a Professor in the Department of Electrical and Computer Engineering at Duke University, Durham, NC, and is leading the Institute of Applied Physical Sciences and Engineering (iAPSE) at Duke Kunshan University, Kunshan, Jiangsu, China. In 2005, he co-founded Xigmix Inc. to commercialize his PhD research, and served as the Chief Technical Officer until the company was acquired by Extreme DA in 2007. From 2009 to 2012, he was the Assistant Director for FCRP Focus Research Center for Circuit & System Solutions (C2S2), a national consortium working on next-generation integrated circuit design challenges. He is now on the Board of Directors for R&D Smart Devices (Hong Kong) and X&L Holding (Hong Kong). His research interests include integrated circuit, signal processing and data analytics. Dr. Xin Li is the Deputy Editor-in-Chief of IEEE TCAD. He was an Associate Editor of IEEE TCAD, IEEE TBME, ACM TODAES, IEEE D&T and IET CPS. He served on the Executive Committee of DAC, ACM SIGDA, IEEE TCCPS, and IEEE TCVLSI. He was the General Chair of ISVLSI, iNIS and FAC, and the Technical Program Chair of CAD/Graphics. He received the NSF CAREER Award in 2012, two IEEE Donald O. Pederson Best Paper Awards in 2013 and 2016, the DAC Best Paper Award in 2010, two ICCAD Best Paper Awards in 2004 and 2011, and the ISIC Best Paper Award in 2014. He also received six Best Paper Nominations from DAC, ICCAD and CICC. He is a Fellow of IEEE.

Richard Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He received the B.S. degree in electrical engineering from Caltech in 1985 and the M.S. and Ph.D. degrees in electrical engineering and computer sciences from the University of California, Berkeley, in 1988 and 1991, respectively. He joined the Caltech faculty in Mechanical Engineering in 1991 and helped found the Control and Dynamical Systems program in 1993. In 1998–1999, he took a sabbatical leave and served as the director of Mechatronic Systems at the United Technologies Research Center, Hartford, Connecticut. Upon returning to Caltech, he served as the division chair (dean) of Engineering and Applied Science from 2000 to 2005, the director for Information Science and Technology from 2006 to 2009, and interim division chair from 2008 to 2009. He received the Donald P. Eckman Award in 1997, the IFAC Harold Chestnut Textbook Prize (with Karl �str�m) in 2011, and the IEEE Bode Lecture Prize in 2016 and is an elected member of the National Academy of Engineering (2013). His research is in the application of feedback and control to networked systems, with applications in biology and autonomy. Current projects include the analysis and design of biomolecular feedback circuits, the synthesis of discrete decision- making protocols for reactive systems, and the design of highly resilient architectures for autonomous systems. He is a cofounder of Synvitrobio, Inc., a cell-free synthetic biology company in San Francisco, and a member of the Defense Innovation Board, which advises the U.S. Secretary of Defense.

Ramesh S, has been with General Motors Global R&D in Warren, MI, where he currently holds the position of Senior Technical Fellow andthrust area lead for model based embedded software. At General Motors, he is responsible for providing technical leadership for research and development in several areas related to Electronics, Control & Software processes, methods, and tools.

Earlier he was in India Science Lab serving as the lab group manager for two research groups on Software and System Verification and Validation. During this time, he led several projects on next generation rigorous verification and testing methods for control software which resulted in proof of concept methods and tools that were piloted on several SW subsystems across

different domains like BCM, HVAC, and Active Safety.

His broad areas of interests are Rigorous Software Engineering, Embedded Systems and Real-Time Systems. He is the author of several patents and has published more than 100 papers in peer-reviewed International journals and conferences. He is on the editorial boards of the International Journal on Real-Time Systems and Eurasip Journal on Embedded Systems and earlier on IEEE Journal on Embedded System Letters.

Prior to joining GM R&D, he was on the faculty of the department of Computer Science & Engineering at IIT Bombay, for more than fifteen years. At IIT Bombay, he played a major role in setting up a National Centre for Formal Design and Verification of Software. As the founding head of this Centre, he carried out many projects on verification of embedded software, for several Government organizations. He is a fellow of the Indian National Academy of Engineering and was visiting/adjunct faculty of many institutions.

Ramesh earned his B.E. degree in Electronics and Communication Engineering from Indian Institute of Science Bangalore and his PhD degree in Computer Science & Engineering from Indian Institute of Technology Bombay India.

Claire J. Tomlinis a professor of electrical engineering and computer sciences at the University of California at Berkeley, where she holds the Charles A. Desoer Chair in Engineering. She was assistant, associate, and full professor at Stanford (1998–2007) and joined Berkeley in 2005. She has been an affiliate at Lawrence Berkeley National Laboratory in the Life Sciences Division since January 2012. She works in hybrid systems and control, with applications to air traffic and unmanned air vehicle systems, robotics, energy, and biology.

Dr. Tomlin pioneered methods for computing the reachable set to encompass all behaviors of a hybrid system, which makes it possible to verify that the system stays within a desired safe range of operation and to design controllers to satisfy constraints. She has applied these methods to collision avoidance control for multiple aircraft, and to the analysis of switched control protocols in avionics and embedded controllers in aircraft.

Her work has been tested in simulation and UAV test flights, and applied to and flown on two large commercial platforms: (1) Boeing aircraft: Her method was used to compute collision zones for two aircraft paired approaches, and was flown on a Boeing T-33 test aircraft, flying close to a piloted F-15. The F-15 pilot flew “blunders” into the path of the T-33, which used Tomlin’s algorithm to avoid collision. (2) Driven on Scania trucks: Dr. Tomlin’s method was used to derive a minimum safe distance between transport trucks driving in high-speed platoons for fuel savings, and revealed that the relative distance used today can be reduced significantly with this automation. Her work is also being considered for application in the Next Generation Air Transportation System (NextGen) and in Unmanned Aerial Vehicle Traffic Management (UTM).

Dr. Tomlin is a MacArthur Foundation, IEEE, and AIMBE fellow. She has received the Donald P. Eckman Award of the American Automatic Control Council in 2003, the Tage Erlander Guest Professorship of the Swedish Research Council in 2009, an honorary doctorate from KTH in 2016, and in 2017 the IEEE Transportation Technologies Award.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Derecho a cancelaci�n

Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuaci�n. Son consumidores las personas f�sicas que act�en con un prop�sito ajeno a su actividad comercial, empresarial, oficio o profesi�n.

Documento de informaci�n al consumidor y usuario sobre el desistimiento

Derecho de desistimiento:

Tienes derecho a desistir del presente contrato en un plazo de 14 d�as naturales sin necesidad de justificaci�n.

El plazo de desistimiento expirar� a los 14 d�as naturales del d�a en que t� o un tercero que hayas indicado, distinto del transportista, adquiera la posesi�n material del �ltimo bien, componente o pieza.

Para ejercer el derecho de desistimiento, deber�s notificarnos a Revaluation Books, Exstowe, Exton, EX3 0PP, Exeter, United Kingdom, 44 1179083586, de tu decisi�n de desistir del contrato a trav�s de una declaraci�n inequ�voca (por ejemplo, una carta enviada por correo postal, fax o correo electr�nico). Podr�s utilizar el modelo de formulario de desistimiento que figura a continuaci�n, aunque su uso no es obligatorio. Tienes asimismo la opci�n de cumplimentar y enviar electr�nicamente el modelo de formulario de desistimiento o cualquier otra declaraci�n inequ�voca a trav�s de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opci�n, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electr�nico) la recepci�n de dicho desistimiento.

Para cumplir el plazo de desistimiento, basta con que la comunicaci�n relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.

Consecuencias del desistimiento:

En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepci�n de los gastos adicionales resultantes de la elecci�n por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a m�s tardar 14 d�as naturales a partir de la fecha en la que se nos informes de tu decisi�n de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacci�n inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrir�s en ning�n gasto como consecuencia del reembolso.

Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devoluci�n de los mismos, seg�n qu� condici�n se cumpla primero. Deber�s devolvernos o entregarnos directamente los bienes a Revaluation Books, Edward Bowditch Ltd, Clifton Heights, Triangle West, BS8 1EJ, Bristol, United Kingdom, 44 1179083586, sin ninguna demora indebida y, en cualquier caso, a m�s tardar en el plazo de 14 d�as naturales a partir de la fecha en que nos comuniques tu decisi�n de desistimiento del contrato. Se considerar� cumplido el plazo si efect�as la devoluci�n de los bienes antes de que haya concluido dicho plazo. Deber�s asumir el coste directo de devoluci�n de los bienes. Solo ser�s responsable de la disminuci�n de valor de los bienes resultante de una manipulaci�n distinta a la necesaria para establecer la naturaleza, las caracter�sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento:

La entrega de peri�dicos, publicaciones especializadas o revistas con la excepci�n de contratos de suscripci�n; y
La entrega de contenido digital (incluyendo apps, software digital e-books, MP3, etc.) que no hubiera sido entregado en un medio tangible (por ejemplo: CD o DVD), si al realizar tu pedido has aceptado que podemos proceder al env�o del producto y que no resulta posible su cancelaci�n una vez comienza la entrega.

Modelo de formulario de desistimiento

(S�lo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)

A la atenci�n de: (Revaluation Books, Exstowe, Exton, EX3 0PP, Exeter, United Kingdom, 44 1179083586)

Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestaci�n del siguiente servicio*

Pedido el/recibido el*:

Nombre del consumidor y usuario o de los consumidores y usuarios:

Domicilio del consumidor y usuario o de los consumidores y usuarios:

Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):

Fecha:

* Eliminar en su caso

Condiciones de env�o

Orders usually dispatched within two working days.

Tarifas de env�o de Reino Unido a Estados Unidos de America

Tarifas de env�o de Reino Unido a Estados Unidos de America
Cantidad del pedido	De 7 a 14 d�as h�biles	De 2 a 3 d�as h�biles
Primer art�culo	EUR 11.48	EUR 28.71

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.