Inicio > > Estilos de vida digital > Guías de Internet y servicios en línea > Verification and Control of Hybrid Systems
Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems

Paulo Tabuada

183,44 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Guías de Internet y servicios en línea
ISBN:
9781441954985
183,44 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.

Artículos relacionados

  • Amyrian Intelligence
    Amyrian True
    The Amyrian Intelligence is reality architecture data. The goal of distribution of this data is to guide society into the next age of civilization: Universe Refinery. This data is unrecognized and unknown in this time period of 2022. ...
    Disponible

    33,01 €

  • Complejidad en lo local y lo global
    Pedro Sotolongo Codina
    El pensamiento complejo y las ciencias de la complejidad están transformando las bases del saber contemporáneo. Esta obra explora la mutación cualitativa del saber y analiza los aportes teóricos, filosóficos, éticos, políticos y prácticos, que el pensamiento y las ciencias de la complejidad pueden realizar para una nueva comprensión de la articulación entre “lo global” y “lo lo...
    Disponible

    15,08 €

  • Complejidad y Ciencias sociales
    Leonardo Gabriel Rodriguez Zoya
    El desarrollo del pensamiento y del conocimiento sigue un proceso controversial y dialéctico. Una controversia implica un desacuerdo entre un “yo” y un “otro” quienes despliegan un proceso de diálogo y contraposición argumental entre puntos de vista diferentes y contradictorios.Esta obra actualiza y resignifica la célebre controversia entre el pensamiento complejo de Edgar Mori...
    Disponible

    21,32 €

  • Tomo 1. La emergencia de los enfoques de la complejidad en América Latina
    Leonardo Gabriel Rodriguez Zoya
    La ciencia, la sociedad, la universidad, la educación, la política, las empresas, las organizaciones, los individuos e, incluso, la humanidad en su conjunto, se enfrentan cada vez más a «problemas de complejidad creciente». En este contexto nuevos desafíos emergen para todos los actores sociales, políticos, económicos y científicos. La complejidad de los problemas fundamentales...
    Disponible

    19,24 €

  • Tomo 2. La emergencia de los enfoques de la complejidad en América Latina
    Leonardo Gabriel Rodriguez Zoya
    La ciencia, la sociedad, la universidad, la educación, la política, las empresas, las organizaciones, los individuos e, incluso, la humanidad en su conjunto, se enfrentan cada vez más a «problemas de complejidad creciente». En este contexto nuevos desafíos emergen para todos los actores sociales, políticos, económicos y científicos. La complejidad de los problemas fundamentales...
    Disponible

    16,12 €

  • Tomo 3. La emergencia de los enfoques de la complejidad en América Latina
    Leonardo Gabriel Rodriguez Zoya
    La ciencia, la sociedad, la universidad, la educación, la política, las empresas, las organizaciones, los individuos e, incluso, la humanidad en su conjunto, se enfrentan cada vez más a «problemas de complejidad creciente». En este contexto nuevos desafíos emergen para todos los actores sociales, políticos, económicos y científicos. La complejidad de los problemas fundamentales...
    Disponible

    16,12 €

Otros libros del autor

  • Verification and Control of Hybrid Systems
    Paulo Tabuada
    Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hy...