Listing 1 - 8 of 8 |
Sort by
|
Choose an application
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.
Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Commande numérique --- Congrès --- Congresses --- Digital control systems - Congresses. --- Computer science. --- Information theory. --- Software engineering. --- Logic design. --- Processor Architectures. --- Control and Systems Theory. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer networks --- Réseaux d'ordinateurs --- Informatique --- Computer science --- Réseaux d'ordinateurs. --- Computer networks. --- Réseaux d'ordinateurs --- Hybrid computers - Congresses. --- Basic (computer program language) --- Reseaux
Choose an application
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Digital control systems --- Hybrid computers --- Commande numérique --- Calculateurs hybrides --- Congresses --- Congrès --- Commande numérique --- Congrès --- Computer science. --- Information theory. --- Computer network architectures. --- Software engineering. --- Logic design. --- Processor Architectures. --- Theory of Computation. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Hybrid computers - Congresses --- Digital control systems - Congresses
Choose an application
Hurricanes are nature’s most destructive agents. They have recently been linked to changes in climate. A 4-day international summit on hurricanes and climate change took place in 2007 to discuss and debate various scientific issues related to this important topic. There were 77 attendees from 18 different countries who participated in the summit. This book is a sample collection of papers from talks that were presented. The chapters are organized around the broad hurricane-climate themes of empirical evidence, statistical methods, and numerical models. A major focus of the conference was the importance of statistical models for understanding how hurricane activity is changing and may change in the future. Emphasis was also placed on evidence of low-frequency swings in hurricane activity using historical and geological records. Results from various high-resolution numerical models, including a 20-km mesh model, were consistent in showing stronger hurricanes in a warmer future. Most numerical models indicate an overall decrease in the number of storms attributable to greater atmospheric stability and to a decrease in vertical mass flux. This book is unique in its scope drawing from an international community of scholars in the field of hurricane climate science. The science addresses a variety of perspectives ranging from the microphysics of lightning to geological evidence of prehistoric storminess.
Digital control systems --- Congresses. --- Digital control systems --Congresses. --- Hurricanes --- Cyclones --- Cyclonic storms --- Earth sciences. --- Meteorology. --- Oceanography. --- Geobiology. --- Atmospheric sciences. --- Ecotoxicology. --- Earth Sciences. --- Atmospheric Sciences. --- Biogeosciences. --- Climatic changes --- Global warming --- Environmental aspects --- Lows (Meteorology) --- Storms --- Changes, Climatic --- Climate change --- Climate changes --- Climate variations --- Climatic change --- Climatic fluctuations --- Climatic variations --- Global climate changes --- Global climatic changes --- Climatology --- Climate change mitigation --- Teleconnections (Climatology) --- Changes in climate --- Climate change science --- Environmental toxicology. --- Ecotoxicology --- Pollutants --- Pollution --- Environmental health --- Toxicology --- Oceanography, Physical --- Oceanology --- Physical oceanography --- Thalassography --- Earth sciences --- Marine sciences --- Ocean --- Biology --- Biosphere --- Aerology --- Atmospheric science --- Atmospheric sciences --- Atmosphere
Choose an application
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.
Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Electrical Engineering --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses. --- Digital control systems - Congresses.
Choose an application
Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses. --- Digital control systems - Congresses. --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer
Choose an application
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.
Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Digital control systems -- Congresses. --- Hybrid computers -- Congresses. --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer
Choose an application
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.
Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Congresses. --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer system performance. --- System Performance and Evaluation. --- Simulation and Modeling. --- Control, Robotics, Mechatronics. --- Computer science. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Computers. --- Computer logic. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Informatics --- Science --- Failures --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses --- Digital control systems - Congresses
Choose an application
Hybrid computers --- Digital control systems --- Congresses --- Calculateurs hybrides --- Commande numérique --- Congrès --- Computer science. --- Special purpose computers. --- Computers. --- Computer logic. --- Statistical physics. --- Dynamical systems. --- Control engineering. --- Robotics. --- Mechatronics. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Computation by Abstract Devices. --- Control, Robotics, Mechatronics. --- Statistical Physics, Dynamical Systems and Complexity. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Dynamical systems --- Kinetics --- Mathematics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Physics --- Statics --- Mathematical statistics --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Special purpose computers --- Computers --- Informatics --- Science --- Statistical methods --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Software engineering. --- Complex Systems. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses --- Digital control systems - Congresses
Listing 1 - 8 of 8 |
Sort by
|