000			02890nam a22005535i 4500
001			978-3-540-71493-4
003			DE-He213
005			20170628034702.0
007			cr nn 008mamaa
008			100301s2007 gw | s |||| 0|eng d
020			_a9783540714934 _9978-3-540-71493-4
024	7		_a10.1007/978-3-540-71493-4 _2doi
050		4	_aTK7874.6
072		7	_aUYQE _2bicssc
072		7	_aCOM025000 _2bisacsh
082	0	4	_a004.6 _223
100	1		_aBemporad, Alberto. _eeditor.
245	1	0	_aHybrid Systems: Computation and Control _h[electronic resource] : _b10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / _cedited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2007.
300			_aXVII, 797 p. Also available online. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v4416
505	0		_aKeynote Speeches -- Regular Papers -- Short Papers.
520			_aThis 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.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650		0	_aComputer simulation.
650	1	4	_aComputer Science.
650	2	4	_aSpecial Purpose and Application-Based Systems.
650	2	4	_aProcessor Architectures.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aSimulation and Modeling.
700	1		_aBicchi, Antonio. _eeditor.
700	1		_aButtazzo, Giorgio. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540714927
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v4416
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-540-71493-4
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c21029 _d21029