FEEDBACK Smiley face

Hybrid Systems: Computation and Control (Record no. 15690)

000 -LEADER
fixed length control field 06442nam a22006135i 4500
001 - CONTROL NUMBER
control field 978-3-540-36580-8
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170515111548.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 121227s2003 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540365808
-- 978-3-540-36580-8
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-36580-X
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM031000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
245 10 - TITLE STATEMENT
Title Hybrid Systems: Computation and Control
Medium [electronic resource] :
Remainder of title 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /
Statement of responsibility, etc edited by Oded Maler, Amir Pnueli.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2003.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 564 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 2623
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.
520 ## - SUMMARY, ETC.
Summary, etc 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Microprocessors.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Special purpose computers.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Theory of Computation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Special Purpose and Application-Based Systems.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Processor Architectures.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computation by Abstract Devices.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logics and Meanings of Programs.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Maler, Oded.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pnueli, Amir.
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783540009139
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 0302-9743 ;
Volume number/sequential designation 2623
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/3-540-36580-X
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC
912 ## -
-- ZDB-2-BAE
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type e-Book

No items available.


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in