2012 12th IEEE International Workshop on Advanced Motion Control |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
Disciplina | 629.8/95 |
Soggetto topico |
Intelligent control systems
Motion control devices Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
ISBN |
1-4577-1073-0
1-4577-1071-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996216750603316 |
[Place of publication not identified], : IEEE, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
2012 12th IEEE International Workshop on Advanced Motion Control |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
Disciplina | 629.8/95 |
Soggetto topico |
Intelligent control systems
Motion control devices Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
ISBN |
1-4577-1073-0
1-4577-1071-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910130565503321 |
[Place of publication not identified], : IEEE, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 410 p.) |
Disciplina | 629.8/95 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computers Architecture, Computer Special purpose computers Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
ISBN | 3-540-69523-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
Record Nr. | UNINA-9910144920503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 410 p.) |
Disciplina | 629.8/95 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computers Architecture, Computer Special purpose computers Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
ISBN | 3-540-69523-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
Record Nr. | UNISA-996465506303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
Autore | Longo Stefano |
Pubbl/distr/stampa | Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] |
Descrizione fisica | 1 online resource (277 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
Collana | Automation and control engineering |
Soggetto topico |
Robust control
Automatic control Computer networks |
Soggetto genere / forma | Electronic books. |
ISBN |
1-315-21598-5
1-4665-6955-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
Record Nr. | UNINA-9910462703103321 |
Longo Stefano | ||
Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
Autore | Longo Stefano |
Pubbl/distr/stampa | Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] |
Descrizione fisica | 1 online resource (277 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
Collana | Automation and control engineering |
Soggetto topico |
Robust control
Automatic control Computer networks |
ISBN |
1-351-83187-9
1-315-21598-5 1-4665-6955-7 |
Classificazione | TEC007000TEC009070 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
Record Nr. | UNINA-9910786226303321 |
Longo Stefano | ||
Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
Autore | Longo Stefano |
Pubbl/distr/stampa | Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] |
Descrizione fisica | 1 online resource (277 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
Collana | Automation and control engineering |
Soggetto topico |
Robust control
Automatic control Computer networks |
ISBN |
1-351-83187-9
1-315-21598-5 1-4665-6955-7 |
Classificazione | TEC007000TEC009070 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
Record Nr. | UNINA-9910817260003321 |
Longo Stefano | ||
Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 1994 |
Disciplina | 629.8/95 |
Altri autori (Persone) |
MattssonSven Erik
GrayJ. O. <1937-> CellierFrancois E |
Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996209187603316 |
[Place of publication not identified], : IEEE, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 1994 |
Disciplina | 629.8/95 |
Altri autori (Persone) |
MattssonSven Erik
GrayJ. O. <1937-> CellierFrancois E |
Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872761103321 |
[Place of publication not identified], : IEEE, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming PIC Microcontrollers with XC8 : Mastering Classical Embedded Design |
Autore | Subero Armstrong |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress L. P., , 2024 |
Descrizione fisica | 1 online resource (591 pages) |
Disciplina | 629.8/95 |
Collana | Maker Innovations Series |
Soggetto topico |
Microcontrollers
Microcontrollers - Programming Programmable controllers |
ISBN |
9798868804670
9798868804663 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Table of Contents -- About the Author -- About the Technical Reviewer -- Preface -- Preface to the First Edition -- Chapter 1: Preparing for Development -- Gathering Your Hardware -- Microcontroller -- Programmer -- Gathering the Software -- MPLAB X IDE -- XC Compilers -- Setting Up Shop -- Multimeter -- Oscilloscope -- Power Supply -- Shopping for Supplies -- Conclusion -- Chapter 2: The C Programming Language -- C -- Will Rust Dethrone C in Embedded Development? -- C Programming -- C Program Structure -- Comments -- Variables and Constants -- A Closer Look at Integer Types -- Operators -- Bitwise Operations -- Controlling Program Flow -- if Statement -- else Statement -- else-if Statement -- switch Statement -- for Loop -- while Loop -- do-while Loop -- Control Transfer Statements -- break Statements -- continue Statement -- goto Statement -- Arrays -- Functions -- Pointers -- Structures and Unions -- Dynamic Memory Allocation -- Preprocessor Directives -- #define -- #pragma -- Assembly vs. C -- Conclusion -- Chapter 3: Basic Electronics for Embedded Systems -- Electronics -- Electronics Components -- Resistors -- Potentiometer -- Digital Potentiometer -- Photoresistors -- Capacitors -- Inductors -- Transformers -- RC, RL, RLC, and Tank Circuits -- Diode -- Zener Diodes -- Light-Emitting Diode -- Laser Diodes -- Transistors -- Bipolar Junction Transistors -- Darlington Transistor -- Field Effect Transistor -- Metal Oxide Semiconductor Field Effect Transistor (MOSFET) -- Junction Field Effect Transistor -- Operational Amplifiers -- Understanding Waveforms -- Oscillators -- Integrated Circuits -- Digital Electronics -- Logic Gates -- The AND Gate -- The OR Gate -- The NOT Gate -- The NAND Gate -- The NOR Gate -- The Buffer Gate -- The XOR Gate -- Comparators -- Clocked Flip Flops, Latches, and Counters -- Registers and Shift Registers.
Accumulators -- Multiplexers and Demultiplexers -- Buffers and Drivers -- Logic-Level Conversion -- Run the Entire System on 3.3 v -- Using a Bus Transceiver -- Bidirectional Logic-Level Shifter -- Use a Voltage Divider -- Conclusion -- Chapter 4: PIC Microcontrollers -- Microcontrollers -- PIC Microcontrollers Overview -- Baseline PIC Microcontrollers -- Midrange PIC Microcontrollers -- Enhanced Midrange PIC Microcontrollers -- High-Performance PIC Microcontrollers -- PIC16F1719 Block Diagram -- Program Flash Memory -- Flash Memory Operations and Limitations -- High Endurance Flash -- Timing Generation -- A Closer Look at Microcontroller Clocks -- Flash Wait States -- !MCLR -- Ports -- Onboard Peripherals -- Analog-to-Digital Converter -- Digital-to-Analog Converter -- Capture/Compare/Pulse Width Modulation Module -- Pulse Width Modulation Module -- Timers -- Comparators -- Fixed Voltage Reference -- Temperature Indicator -- EUSART -- CLC -- MSSP -- NCO -- ZCD -- COG -- Operational Amplifiers -- The Enhanced Midrange CPU Core -- Power-Up Timer -- Oscillator Start-Up Timer -- Power-On Reset -- Watchdog Timer -- Brown-Out Reset -- Conclusion -- Chapter 5: Input and Output -- I/O Fundamentals -- TRIS Register -- Port Register -- Output Latch Registers -- Analog Select Registers -- Weak Pull-Up -- Blinking an LED -- Device Configuration Bits -- Our Device Header and Source Files -- Our Main File -- The LED Blink Program Hardware -- A Closer Look at Bit Access -- GPIO Switching and Buffering Techniques -- Low-Power Low-Side Switching -- Low-Power High-Side Switching -- High-Power Low-Side Switching -- Using IC Buffers and Drivers -- Using a Pushbutton -- Seven-Segment Displays -- Multiplexing Seven-Segment Displays -- Project: Countdown Timer -- Conclusion -- Chapter 6: Interrupts, Timers, Counters, and PWM -- Introduction to Interrupts -- Timers. Timer0 -- Timer0 Counter Mode -- Peripheral Pin Select -- External Interrupts -- The CCP Module -- Understanding PWM -- Using PWM on the PIC Microcontroller -- Project: Using PWM with RGB LED Lighting -- Conclusion -- Chapter 7: Interfacing Actuators -- Introducing Actuators -- Actuators in Embedded Systems -- Simple On/Off Control -- Driving Motors with Power MOSFETs -- PWM Speed Control -- Directional Control Small Motors -- Directional Control Large Motors -- Encoders -- PID Control -- Servo Motor -- Stepper Motor -- Conclusion -- Chapter 8: USART, SPI, I2C, and Communication Protocols -- Understanding Serial Communication -- USART -- Using GPS (Global Positioning System) -- NMEA Commands -- Software USART -- GSM Module -- AT Commands -- Using SPI (Serial Peripheral Interface) -- Using the I2C (Inter-Integrated Circuit) Protocol -- I3C (Improved Inter-Integrated Circuit) Protocol -- Conclusion -- Chapter 9: Interfacing Displays -- Displays -- Character Display -- OLED Display -- Touch Screen LCD -- Resistive Touch -- Capacitive Touch -- Selecting a Touch Screen LCD -- Using the Touch LCD -- Creating a Layout -- Adding Code -- Read on Microcontroller -- Conclusion -- Chapter 10: ADC and DAC -- Data Conversion -- Challenges of Data Conversion -- ADC (Analog-to-Digital Conversion) -- Reading a Potentiometer -- Light Sensing with a Photoresistor -- Using an Analog Joystick -- DAC (Digital-to-Analog Converter) -- Sinusoidal Waveform Generation -- Square Wave Generation -- Triangle Wave Generation -- Conclusion -- Chapter 11: CLC, NCO, Comparator, and FVR -- Core Independent Peripherals (CIPs) -- Configurable Logic Cell (CLC) -- Configurable Logic Block (CLB) -- Numerically Controlled Oscillator -- Comparator -- Fixed Voltage Reference (FVR) -- Conclusion -- Chapter 12: Wi-Fi and Bluetooth -- Low-Cost Wireless Connectivity -- Wi-Fi -- The ESP8266. Testing the ESP8266 -- Project: Wi-Fi Data Logger -- Bluetooth -- Using the HC05 -- Conclusion -- Chapter 13: Watchdog Timer and Low Power -- Low Power 8 vs. 32-Bit -- Sleep Mode -- Watchdog Timer -- Other Ways to Conserve Power -- Reduce the Clock Frequency -- Reduce the Operating Voltage -- Power External Devices from I/O Lines -- Utilize Peripheral Shutdown Features -- Implement Interrupt-Driven Programming -- Optimize Firmware Algorithms -- Take Advantage of Brown-Out Detect (BOD) Disable -- Use Power-Saving Modes Wisely -- Minimize External Peripheral Power -- Capacitive Touch Sensing with Low Power -- Dynamic Clock Switching -- Optimize ADC Usage -- eXtreme Low Power (XLP) Technology -- Conclusion -- Chapter 14: PIC Microcontroller Projects -- Project: Temperature-Controlled Fan -- On-Off Control -- On-Off vs. PWM-Based Control -- Project: UART to Browser Bridge -- Setting Up a Flask Server -- Static Page -- Conclusion -- Index. |
Record Nr. | UNINA-9910878047803321 |
Subero Armstrong | ||
Berkeley, CA : , : Apress L. P., , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|