Libro: Verificación Y Control De Sistemas Híbridos En Inglés
Envío internacional gratis
Sin costos de importación
Stock disponible
MercadoLíder | +1000 ventas
MercadoLíder Platinum
+1000
Ventas concretadas
Brinda buena atención
Características del producto
Características principales
Título del libro | En Ingles Verification and Control of Hybrid Systems |
---|---|
Autor | Tabuada, Paulo |
Idioma | Inglés |
Editorial del libro | Springer |
Tapa del libro | Blanda |
Marca | Springer |
Modelo | 1441954988 |
Otras características
Cantidad de páginas | 217 |
---|---|
Tipo de narración | Novela |
ISBN | 9781441954985 |
Descripción
AMERICAN CREW GROUP con base en Estados Unidos dedicada a la venta de productos mediante el servicio de puerta a puerta en todo el mundo.
ANTES DE REALIZAR UNA CONSULTA, VISUALICE TODAS LAS IMAGENES DEL PRODUCTO
- LOS PRODUCTOS SERAN DESPACHADOS DESDE USA HASTA LA PUERTA DE SU DOMICILIO, DENTRO DE LOS 3 DIAS HABILES DESDE LA FECHA DE COMPRA
-TODO CORRE POR NUESTRA CUENTA, UD NO DEBE HACER NINGUN TRAMITE ADUANERO NI ABONAR NADA MAS QUE LO PAGADO AL MOMENTO DE COMPRA.
- TODOS NUESTROS PRODUCTOS SON NUEVOS, IMPORTADOS, Y FISICOS.
- ENVIAMOS SOLO POR MERCADOENVIOS
- FORMA DE PAGO : MERCADOPAGO
- HACEMOS FACTURA INTERNACIONAL
- GARANTIA 30 DIAS CORRIDOS DE RECIBIDA LA COMPRA.
-TENEMOS STOCK DE TODOS LOS PRODUCTOS LISTADOS EN NUESTRA TIENDA
-PUBLICACIONES A PEDIDO
- AMERICAN CREW GROUP COMPROMETIDOS AL 100% CON EL SERVICIO AL CLIENTE
Si deseas por algún producto que no veas publicado, esperamos tu consulta.
¡Gracias por elegirnos!
descripción del producto
Los sistemas híbridos describen la interacción del software, descrito por modelos finitos como máquinas de estado finito, con el mundo físico, descrito por modelos infinitos como ecuaciones diferenciales. Este libro aborda problemas de verificación y síntesis de controladores para sistemas híbridos. Aunque estos problemas son muy difíciles de resolver para sistemas híbridos generales, varios autores han identificado clases de sistemas híbridos que admiten modelos simbólicos o finitos. La novedad del libro radica en la presentación sistemática de estas clases de sistemas híbridos junto con las relaciones entre los sistemas híbridos y los modelos simbólicos correspondientes. Para mostrar cómo se puede utilizar la existencia de modelos simbólicos para la verificación y la síntesis del controlador, el libro también describe varios resultados clave para la verificación y el controlador de sistemas finitos. Varios ejemplos ilustran los diferentes métodos y técnicas discutidos en el libro.
Color:
Marca: Springer
Dimensiones: 0.23 x 0.15 x 0.02mts.
Peso del Producto: 0.39 Kilogramos.
Peso de Envio: 0.39 Kilogramos.
Modelo: Ref:
Garantía del vendedor: 30 días
Preguntas y respuestas
¿Qué quieres saber?
Pregúntale al vendedor
Nadie ha hecho preguntas todavía.
¡Haz la primera!